diff --git a/Concurrent Systems/notes/7- MUTEX-free concurrency.md b/Concurrent Systems/notes/7- MUTEX-free concurrency.md
index bdd7fa1..94e32b2 100644
--- a/Concurrent Systems/notes/7- MUTEX-free concurrency.md	
+++ b/Concurrent Systems/notes/7- MUTEX-free concurrency.md	
@@ -88,7 +88,7 @@ get_ts(i) :=
 			if LAST[k] = i then
 				NEXT++
 				return k
-			k++
+		k++
 ```
 
 #### Soundness theorem (yes, again)