correction to previous commit