Fixing the result file (and the script that produced it).