Terminology fix: wfp -> wff