diff --git a/specifications/Disruptor/Disruptor_MPMC.tla b/specifications/Disruptor/Disruptor_MPMC.tla
index 34432378..22129a73 100644
--- a/specifications/Disruptor/Disruptor_MPMC.tla
+++ b/specifications/Disruptor/Disruptor_MPMC.tla
@@ -1,5 +1,5 @@
 --------------------------- MODULE Disruptor_MPMC --------------------------
-***************************************************************************)
+(***************************************************************************)
 (* Models a Multi Producer, Multi Consumer Disruptor (MPMC).               *)
 (*                                                                         *)
 (* The producers publish their claimed sequence number as value into       *)