in HTML5 this is not needed