small comment for problem 12