Revert the name change since it doesn't actually matter that much.