fix usage of 'HTML5'