diff --git a/AST2.ml b/AST2.ml
index 0e6830928..55c268c53 100644
--- a/AST2.ml
+++ b/AST2.ml
@@ -99,7 +99,7 @@ module O = struct
       types           : type_decl list;
       storage_decl    : typed_var;
       declarations    : decl list;
-      orig            : I.t
+      orig            : AST.t
     }
 end
 
diff --git a/Typecheck2.ml b/Typecheck2.ml
index b7955efff..96fa3cdc7 100644
--- a/Typecheck2.ml
+++ b/Typecheck2.ml
@@ -100,7 +100,7 @@ module O = struct
       types           : type_decl list;
       storage_decl    : typed_var;
       declarations    : decl list;
-      orig: AST.t
+      orig            : AST.t
     }
 end
 
diff --git a/Typecheck2.mli b/Typecheck2.mli
index 4ab935302..0ae31d31b 100644
--- a/Typecheck2.mli
+++ b/Typecheck2.mli
@@ -100,7 +100,7 @@ module O : sig
       types           : type_decl list;
       storage_decl    : typed_var;
       declarations    : decl list;
-      orig: AST.t
+      orig            : AST.t
     }
 end