Fix typo in comment.

This typo was accidentally added by recent commit 4cbd128.