Fix REPL banner insertion