The problem is no longer there in testing, so the bug report may be closed.