Fix unfinished comment.

Followup to #1085.