Some minor fixes to the solution paper.