Fix for silly errors in OfficialSolution4.