diff --git a/3-99 Research/TLA/test.tla b/3-99 Research/TLA/test.tla
index 1bcd336e2..2568ab6bb 100644
--- a/3-99 Research/TLA/test.tla	
+++ b/3-99 Research/TLA/test.tla	
@@ -8,4 +8,4 @@ Next == x' = x + 1
 
 Spec == Init /\ [][Next]_x
 
-====
+====: