Fixing issue  #11083 

A small typo fix where the word 'the' was repeated twice in the comments.