diff --git a/Exercises/exercise-7/Lambda.hs b/Exercises/exercise-7/Lambda.hs
index 9eda54b..0e00a46 100644
--- a/Exercises/exercise-7/Lambda.hs
+++ b/Exercises/exercise-7/Lambda.hs
@@ -11,7 +11,7 @@ data Term =
     | Add
 
 pretty x = case x of
-    (Abs name term) -> "L" ++ name ++ "." ++ pretty term
+    (Abs param term) -> "L" ++ param ++ "." ++ pretty term
     (Inv func param) -> "(" ++ pretty func ++ " " ++ pretty param ++ ")"
     (Var name) -> name
     Add -> "Add"