Fixed issues with DIMACS file reader