typo fix section 8.5