Bug fix: don't confuse REPL buffers