Fix suspect formatting in S15.2.3.1_A3