Make HTML preprocessor directive work with both 'html' and 'html5'

As mentioned in #2