diff --git a/src/stages/5-ast_typed/PP_json.ml b/src/stages/5-ast_typed/PP_json.ml
index 1156d4038..745483ebc 100644
--- a/src/stages/5-ast_typed/PP_json.ml
+++ b/src/stages/5-ast_typed/PP_json.ml
@@ -71,7 +71,7 @@ module M = struct
       typeVariableMap           = (fun _visitor continue NoState tvmap   ->
         let lst = List.sort (fun (a, _) (b, _) -> Var.compare a b) (RedBlackTrees.PolyMap.bindings tvmap) in
         let aux (k, v) =
-          `Assoc [ asprintf "%a" Var.pp k ; continue NoState v ] in
+          `Assoc [ asprintf "%a" Var.pp k , continue NoState v ] in
         let lst' = List.map aux lst in
         `Assoc ["typeVariableMap",  `List lst'] );
     }
@@ -86,8 +86,3 @@ include Fold.Folds(struct
   type 'a t = 'a -> json ;;
   let f = M.print ;;
 end)
-
-  (* type in_state 
-  type out_state 
-  type 'a t 
-  val f : ((in_state , out_state) fold_config -> in_state -> 'a -> out_state) -> 'a t  *)
\ No newline at end of file