Fix garbled comment.