FIX bug in IntList