Minor fixes to A.1.2.7