The function-header for reportMachResult fixed (and renamed).