Calling a file repl.html was messing up the REPL.