Cael's right on this. The check was originally there because events with probability 0 would make it less likely for other events to happen.