correction commit precedent