Fix typos in Problem 1