#136: html_form_ajax.js, newline for 'console.log()'