Fix typo in comment. No functionality change.