Follow up of rGdea4a63e6359, which committed a slightly different version than
intended.

GitOrigin-RevId: 5a641cf194d493752edade659f1e9f06294f4f9f
1 file changed