fixed error in fpredicates