Fix some titles in the intro document, for better table of contents (fixes #212)

Fixes #212.