fix typo in ex2.88