fix a number of issues in the solutions (ODT and PDF)