Fix six typos involving "the the".
Merge pull request #1116 from apw/patch-1

Manual: Fix six typos involving "the the".