diff --git a/app_functions.py b/app_functions.py
index 9e88513863c80a40bf988013bea2aa15b9b8ae9f..32a45575c7b8086cfe8f6409dbc777d7a9948c74 100644
--- a/app_functions.py
+++ b/app_functions.py
@@ -46,7 +46,7 @@ def getSecondFromPair(p):
 def dec_to_lambda_relative_integers(number):
     if number >= 0:
         return pair(TRUE,dec_to_church(number))
-    return pair(FALSE[False], dec_to_church(number))
+    return pair(FALSE, dec_to_church(number))
 
 # def succ(n):#done
 #     return beta_reduction_totale(new_app(SUCCS,n),None,False)