Typo: `and exits [...]`