Bug version of exercise 5.7 committed