diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli
index 7b561f878..0207a53ed 100644
--- a/src/api/ml/z3.mli
+++ b/src/api/ml/z3.mli
@@ -1828,6 +1828,7 @@ end
 (** Sequences, Strings and Regular Expressions **)
 module Seq : 
 sig
+  (* create a sequence sort *)
   val mk_seq_sort : context -> Sort.sort -> Sort.sort
 
   (* test if sort is a sequence sort *)