correct expected value in ex-2.2-12 test