new normalized version of datalogplus_min example, and typo fix