small correction to previous commit