Scala REPL, minor fix