update to (15.3.A.1.12)