diff --git a/src/main.ml b/src/main.ml
index a3ebbf890dff43f117d9500af2d142b68603ddfc..b79b5189661a56451325b571a7dc4350f105a31e 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -158,7 +158,7 @@ let verify_cmd =
   in
   let dataset_csv =
     let doc = "Dataset under CSV format. Currently only supported by SAVer." in
-    Arg.(value & opt (some string) None & info [ "dataset-csv" ] ~doc)
+    Arg.(value & opt (some file) None & info [ "dataset-csv" ] ~doc)
   in
   let doc =
     "Property verification of neural networks using external provers."
diff --git a/src/verification.ml b/src/verification.ml
index 4639fe6f0dff95f100838d1974a693a1483a4e5e..60e425b6f437d67bb3efb555b353debb02cbbcf0 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -140,7 +140,7 @@ let answer_saver limit config task env prover dataset_csv =
         else Call_provers.Invalid
       | None -> Call_provers.HighFailure
       (* Any other answer than HighFailure should never happen as we do not
-         define anything in SAVer's driver *))
+         define anything in SAVer's driver. *))
     | _ -> assert false
   in
   answer