Correction in NotNullableInt type