minor HTML5 changes