correct references in ex 4.2 solution