fix a few typos in problem description files