Small fix
Loading DIMACS forms from a file