This one is commented out because it is actually broken in real browsers. I don't think it has very high priority because this case shouldn't really occur at the moment (and the worst case is some extraneous white space.)