fixed a name change that had slipped into the last commit