BTW, if that can happen, in the else case, maybe print out something?