Still more tweaks to proof scripts