Corrections in previous commits