fix int maint