The new name matches the style guide. (The old name was just old and predated the style guide.) Fixes #8000
