#136: html_form_ajax.js, minor comment change