Bug is fixed: the current SVN version no longer has this
problem.