Fix comment.

Fixes #1187.