other branch exits, no need for else branch