Fixing an int issue