Corrections to previous commit