made HTML5 conformant again

I accidentally cut out the document header when posting to github