minor fix in problem_7_spec