Fix a now-incorrect comment.

Should have been part of 9f67d0c5.