Fix error in problem definition