I guess this else branch can be killed?