Why is this else case no longer necessary?