fix typos in prog-equiv README