Typo in 1.6, f instead of g when verifying that ac is well-typed.