typo in A.2.1