I couldn't test this, but it didn't break anything and the patch
reported fixed the problem.

Bugfix candidate.