diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,11 @@
+2009.9.18.1
+-----------
+
+### Fix
+
+* strict mps dependency
+* exclude p / predicate by default
+
 2009.9.18
 ---------
 
diff --git a/spata.cabal b/spata.cabal
--- a/spata.cabal
+++ b/spata.cabal
@@ -1,5 +1,5 @@
 Name:                 spata
-Version:              2009.9.18
+Version:              2009.9.18.1
 Build-type:           Simple
 Synopsis:             bruteforce form validation
 Description:
@@ -18,7 +18,7 @@
 
 library
   ghc-options: -Wall
-  build-depends: base >= 4 && < 5, mps, mtl, dlist
+  build-depends: base >= 4 && < 5, mps >= 2009.9.18, mtl, dlist
   hs-source-dirs: src/
   exposed-modules:  
                       Network.Spata
diff --git a/src/Network/Spata.hs b/src/Network/Spata.hs
--- a/src/Network/Spata.hs
+++ b/src/Network/Spata.hs
@@ -3,4 +3,4 @@
   module Network.Spata.DSL
 ) where
 
-import Network.Spata.DSL
+import Network.Spata.DSL hiding (p, predicate)