fix formatting in section 15.7