Made some HTML5-specific changes.