Fix typos in a few problem.txt's