minor correction to previous commit