diff --git a/src/base/Form.mli b/src/base/Form.mli
index e184db65..4b635b29 100644
--- a/src/base/Form.mli
+++ b/src/base/Form.mli
@@ -34,7 +34,7 @@ val neq : Term.store -> term -> term -> term
 val imply : Term.store -> term -> term -> term
 val equiv : Term.store -> term -> term -> term
 val xor : Term.store -> term -> term -> term
-val ite : Term.store -> term -> term -> term
+val ite : Term.store -> term -> term -> term -> term
 
 (* *)
 
diff --git a/src/base/Statement.ml b/src/base/Statement.ml
index 9c2d0595..22abe1aa 100644
--- a/src/base/Statement.ml
+++ b/src/base/Statement.ml
@@ -1,4 +1,3 @@
-open Sidekick_core
 open Types_
 
 type t = statement =
diff --git a/src/base/Ty.ml b/src/base/Ty.ml
index 7370d0bd..aaa431d5 100644
--- a/src/base/Ty.ml
+++ b/src/base/Ty.ml
@@ -1,6 +1,5 @@
 (** Core types *)
 
-open Sidekick_core
 include Sidekick_core.Term
 open Types_