Fix some titles in the intro document, for better table of contents.