Fixed doc for problem 9