Fix typo in comments.

Noticed by: brooks@