Documentation change: removed duplicate word