Fix int warning