diff --git a/examples/PSB2/annotations/fuel_cost.ae b/examples/PSB2/annotations/fuel_cost.ae
index a28f9c54..c3fc22ee 100644
--- a/examples/PSB2/annotations/fuel_cost.ae
+++ b/examples/PSB2/annotations/fuel_cost.ae
@@ -8,9 +8,6 @@ def map_Int_Int_List: (function:(a: Int) -> Int) -> (l: List) -> List = native "
 
 def fuel_cost  (xs: List) : Int {
  sum(
-    map_Int_Int_List(
-        ( \x : Int -> Math_max (Math_floor_division(x)(3 - 2)) (0)) (xs))
-        )
+    map_Int_Int_List (( \x -> Math_max (Math_floor_division(x)(3) - 2)(0)) : (x: Int) -> Int) (xs)
+    )
  }
-
-# Type not freshable: ?t <class 'aeon.core.types.TypeVar'>