Fixing problem 6.16.I