#435: html_form.js, change html options to lowercase

Resolves #435.