diff --git a/thesis.tex b/thesis.tex
index fdbb5a4..7a78af5 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -6333,7 +6333,7 @@ that allow us to redefine the target of $\Write$ operations locally.
         \ba[t]{@{}l}
         \Let\;ino \revto \Case\;\Do\;\UCreate~fname\;\{
           \ba[t]{@{~}l@{~}c@{~}l}
-            \None &\mapsto& \exit\,1\\
+            \None &\mapsto& \exit~1\\
             \Some~ino &\mapsto& ino\}
           \ea\\
           \In\;\Handle\;m\,\Unit\;\With\\