correct REPL in html start