Get rid of HTML5 boilerplate leftovers.

Fixes #3