tweaks for HTML5