[priceless]

Just to follow up on this -- I have submitted a bug report and there is already an open bug on this. The more submissions, the faster it gets resolved, so not wasted effort, I don't think.

-- Morgan