shorter kernel

removed a useless if