Fix int declaration