Drop redundant 'the'
Merge pull request #12147 from ZDroid/double

Drop redundant 'the'