Since this case is impossible, this `else` should probably go on the other `if`/`else` section above.