minor change to initialize the IntegerMatrix