How'd this option end up in the `else` case?