fix a long-reported goof in naming now that I found it