Fix some shameful typos in the documentation.