Minor fix to a comment.