gtp: a clarifying comment on quit