Comment 7 for bug 638764

Thanks for investigating this bug.

Despite being unable to reproduce it myself (still), I have applied your proposed fix to the trunk in order to fix it.