Minor change in REPL