more correct checking of F