diff --git a/thesis.tex b/thesis.tex
index 012df37..d33ad40 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -769,7 +769,7 @@ Values
 % unit : ()
   \inferrule*[Lab=\tylab{Unit}]
     { }
-    {\typv{\Delta;\Gamma}{\Record{} : \Record{}}}
+    {\typv{\Delta;\Gamma}{\Record{} : \UnitType}}}
 
 % Extension
   \inferrule*[Lab=\tylab{Extend}]