Minor dimacs update