fix redundant implement of fnotf