Fix the int