Fix typo in comment

No functionality changed.