Fix bug in REPL introduced by last commit