Correct long-languishing renaming oversight