fix C syntax in html5.h