diff --git a/lib/term.ml b/lib/term.ml
index 536c4ae..128590f 100644
--- a/lib/term.ml
+++ b/lib/term.ml
@@ -22,16 +22,17 @@ type t =
 
 let rec string_of_term = function
   | Var v -> "Var '" ^ v ^ "'"
-  | IntConst n -> "IntConst(" ^ string_of_int n ^ ")"
+  | IntConst n -> string_of_int n
   | Binop (a, b, c) ->
     "Binop ("
     ^ string_of_term a
-    ^ ", "
+    ^ " "
     ^ (match b with
        | Plus -> "+"
        | Minus -> "-"
        | Times -> "*"
        | Div -> "/")
+    ^ " "
     ^ string_of_term c
     ^ ")"
   | Pair (a, b) -> "Pair (" ^ string_of_term a ^ ", " ^ string_of_term b ^ ")"