#176: html_microphone.js, add semicolon