Corrections

Corrections are attached to the affected benchmark reports. We preserve the original measurement record and explain what changed, why it changed, and whether measured values changed.