Avoid correcting this file, as it is a modified form of the Scala REPL and we may need to merge in changes upstream later.