diff --git a/examples/PSB2/annotations/shopping.ae b/examples/PSB2/annotations/shopping.ae
index 397137f7..6bb7067c 100644
--- a/examples/PSB2/annotations/shopping.ae
+++ b/examples/PSB2/annotations/shopping.ae
@@ -7,9 +7,8 @@ def map_Int_Int_Int_List_List: (function: (a: Int) -> (b: Int) -> Int) -> (l: Li
 
 def shopping  (prices: List, discounts: List) : Int {
  sum(
-    map_Int_Int_Int_List_List(
-        ( \x : Int -> \y : Int -> x * (1 - d / 100)) (prices) (discounts)
-        )
+    map_Int_Int_Int_List_List
+        (( \x -> (\y -> x * (1 - y / 100))): (x:Int) -> (y:Int) -> Int) (prices) (discounts)
     )
  }