Small problem with the html5 options

Fixed a small problem with the html5 options