#163: html_scripts.js, minor language change