Fix comments.

These were made incorrect a long time ago by 45f8e9a2a6.