Doesn't this call exit? If so, we don't need the next section inside else()