tweak to correct minor naming bug