diff --git a/src/michael_scott_queue/michael_scott_queue_intf.mli b/src/michael_scott_queue/michael_scott_queue_intf.mli
index e2c3b7fc..3011b41e 100644
--- a/src/michael_scott_queue/michael_scott_queue_intf.mli
+++ b/src/michael_scott_queue/michael_scott_queue_intf.mli
@@ -123,7 +123,7 @@ module type MS_QUEUE = sig
    being performed here. In practice, using a barrier in this manner is unnecessary.
 
 
-    {@ocaml non-deterministic[
+    {@ocaml non-deterministic=command[
       # open Saturn.Queue
       # let t : string t = create ()
       val t : string t = <abstr>