I'm closing this bug report, since I'm having trouble reproducing it
reliably, and in any case it seems to be a duplicate of 28144.

-- 
Chris