diff --git a/doc/mnist.rst b/doc/mnist.rst
index 8413bf93e1ca0ff07d019c5d1d5b80999711cc5b..6e08ace0951039fbb352406cb9014940df9ffcda 100644
--- a/doc/mnist.rst
+++ b/doc/mnist.rst
@@ -86,13 +86,13 @@ the local robustness property:
 
 .. code-block:: whyml
 
-  predicate robust_at (m: model) (d: datum) (eps: t) =
+  predicate robust_at (m: model) (d: record) (eps: t) =
     forall x': features.
       let (x, _) = d in
       linfty_distance x x' eps ->
       predict m x = predict m x'
 
-Note that a ``datum`` is a dataset element given as a pair of *features* and
+Note that a ``record`` is a dataset element given as a pair of *features* and
 (classification) *label*. Morever, ``linfty_distance`` is a predicate that
 describes how two arrays of floating-point values (*i.e.* ``features``) are
 considered close up-to a pertubation ``eps``, while ``predict`` is a function