Fix int definition