Cleaned up some IntList code