Sprucing up formatting in 1.c.iii.4