Small correction to previous commit