Finished make-ogs-corresponding.pl, minor changes