Small corrections on exercise 4