Fix broken HTML in the head; this was reported by a user as causing Opera 6.01

to crash.  The user has reported the problem to Opera, but we still should
generate something that passes for HTML.