Minor fix to comment.