Minor simplification in REPL