Minor cleanup (mostly to remove the "Contents" section titles)