Fix typos in problems.lua