diff --git a/doc/mnist.rst b/doc/mnist.rst
index a703f0260b93aa84814a05e2eee7c8e85391f238..8ea1b1c7d3316c88a0ff3f17e6c013773c30794f 100644
--- a/doc/mnist.rst
+++ b/doc/mnist.rst
@@ -141,7 +141,7 @@ samples, we can define a goal and check the property
   goal robustness:
     let nn = read_neural_network "nets/MNIST_256_2.onnx" ONNX in
     let dataset = read_dataset "csv/mnist_test.csv" CSV in
-    let eps = (0.375:t) in
+    let eps = (0.0100000000000000002081668171172168513294309377670288085937500000:t) in
     robust nn dataset eps