Commit minor HTML5 tweak