minor changes in DIMACSTG