Fixed typo in spec for ANF.