Fix a wrong procedure name in Exercise 2.85