fix int bug