(another) typo fix for Ia424c6433

Change-Id: I302d117078cca696eb42a5cd9fb8b1afd65a630f