Fix to close right buffer with :CoqQuit