fix int assert