More whitespace gone

This time from REPL