Better handling of REPL's header line