Otherwise, it's not clear if it's the expected output. Renaming-only change. No functional change intended. PiperOrigin-RevId: 505103740
