Changed a heading.
Make github happy.