remove the uninteresting else branch