Fix doubled word 'the the' in documentation (#2096)