Fix int conversion.