#76: html_form.js, add forgotten semicolon