Indentation converted to spaces in switch_statement_js.html