#68: html_form.js, fix minor indentations