Fix the location displayed on indentation errors.
Slightly simplify the REPL.