This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://lists.w3.org/Archives/Public/www-style/2011Nov/0176.html
We fixed this a while ago (early last year, I think).