Minor fix in comment.