Various fixes to problem.txts.