diff --git a/utils/numbers.mli b/utils/numbers.mli
index c8260557c..c4fce70e6 100644
--- a/utils/numbers.mli
+++ b/utils/numbers.mli
@@ -19,7 +19,7 @@
 module Int : sig
   include Identifiable.S with type t = int
 
-  (** [zero_to_n n] is the set of numbers {0, ..., n} (inclusive). *)
+  (** [zero_to_n n] is the set of numbers \{0, ..., n\} (inclusive). *)
   val zero_to_n : int -> Set.t
 end