diff --git a/stack_lang_spec.md b/stack_lang_spec.md
index f30381e..f4c056c 100644
--- a/stack_lang_spec.md
+++ b/stack_lang_spec.md
@@ -1,6 +1,6 @@
 # Stack Language Specification
 
-**Version**: 0.7  
+**Version**: 0.7.1  
 **Status**: Draft Specification  
 **Changes**:
 - 0.5 (AI)
@@ -56,6 +56,8 @@
     6. **Section 6 rename** - Renamed "Operators (Postfix)" to "Built-in Operators"
     7. **Module syntax** - Added `::` prefix for module imports
     8. **Module alias options** - Added multiple alias syntax options
+- 0.7.1 (Human)
+    1. Formatting changes
 
 > **INSTRUCTIONS FOR AI:** AI agents are not allowed to change human reviewed md code blocks. If an AI reviewer thinks a change needs to be made to one of these blocks, the AI model can add a human todo explaining a suggested change or problem. It is totally possible for a md code block that was human reviewed and be correct for the current specification and new TODOs would change it, AIs are still not allowed to change it, only add a human todo. Reviewed md code blocks could also implement new TODOs already.
 
@@ -85,7 +87,7 @@ A statically-typed, stack-based language with pure postfix notation combining th
 - All operators must be backed by a trait
 - Cannot share names with functions
 - Are the fundamental building blocks of the language
-- Examples: `+`, `-`, `dup`, `swap`, `if`, `while` (built-in), custom operators via trait implementation
+- Examples: `+`, `-`, `dup`, `swap`, `if`, `while` (built-in); custom operators via trait implementation
 
 **Functions** are user-defined or library-defined procedures. They:
 - Do not implement traits directly (though they may use operators that do)
@@ -784,7 +786,7 @@ roll        // ( n times -- ) Rotate n items, times times
 
 ## 6. Built-in Operators
 
-**Every operator is backed by a trait and must be implemented for types that use it.**
+Every operator is backed by a trait and must be implemented for types that use it.
 
 ### 6.1 Arithmetic