Fix typo in DIMACS output