insert missing 'the' in 1.12.2
Merge pull request #473 from byorgey/master

insert missing 'the' in 1.12.2
Removing duplicate 'the the'
removing some further double words
Merge pull request #474 from andrejbauer/master

Remove duplicate words