Minor update of exercise 1.12.