Hi,

this PR fixes a couple of duplicate/redundant words in comments.

Cheers, Christoph