Clarified make-ogs-corresponding.pl