Cleaned up idiotic print-buffer functions in REPL.