correcting typos in datalogplus_min.ruleml