fix up IntList to use append()
merging oops