corrections to the precedent commit