#163: html_microphone.js, add newline