Fix section 6 slightly.