Note on quit, which doesn't seem to work