Minor changes in repl