#244: html_form_ajax.js, remove extra newline