Corrections to problem.txt.