diff --git a/ixi/IXi/Prelude.hs b/ixi/IXi/Prelude.hs
index 3850538..4b9dff0 100644
--- a/ixi/IXi/Prelude.hs
+++ b/ixi/IXi/Prelude.hs
@@ -1,4 +1,4 @@
-module IXi.Tactics where
+module IXi.Prelude where
 
 import IXi.Tactic
 import IXi.HOAS
diff --git a/ixi/ixi.cabal b/ixi/ixi.cabal
index cfe9ce9..9c6599a 100644
--- a/ixi/ixi.cabal
+++ b/ixi/ixi.cabal
@@ -10,4 +10,4 @@ Homepage: http://github.com/luqui/dana
 Maintainer: lrpalmer@gmail.com
 Build-Type: Simple
 Build-Depends: base, transformers, containers
-Exposed-Modules: IXi.Term, IXi.Proof, IXi.Helpers, IXi.Conversion
+Exposed-Modules: IXi.Term, IXi.Proof, IXi.Helpers, IXi.Conversion, IXi.HOAS, IXi.Prelude, IXi.Sequent, IXi.Tactic