Hi Peter,
You should report this issue and your previous issue ("HTML5 is broken: <menuitem> causes infinite loop") in Bugzilla. The WHATWG HTML spec makes it easy.
Thanks, I've done this now. Michael -- Prince: Print with CSS! http://www.princexml.com