Correction to the first commit