Fix misstatement in problem