typo in problem definition