Fixed typos in repl