Correction of a bad commit