How come this is explicitly checked?