Fix typo

Removed a redundancy in a comment