Fix minor issue with REPL.