fixed a capital letter in problem definition