Fix a typo appearing in the main ToC.