fixing section 5.2.13