fix stupid bug in repl