Tweak `exit` documentation