fix int bug
fix int bug