Exercise 2.92: Define a procedure to normalize