Fix typo in a comment

No functionality is affected, it is purely a typo in a comment