correction to an error in the last commit