Fix a typo in e5c45f1161604733b116a0a83782c08f74fb3127.