Ex 5.2: Fixed bug.