Yuck! That's a weird bug in HTML5lib.