reals: typos and an exercise