fix a typo of problem 9.11