isl_equalities.c: fix typos in comments