Correct indentation for Exercise 2.84
Exercise 2.85