Correction to previous commit