diff --git a/Demos/ShoppingCart1.hs b/Demos/ShoppingCart1.hs
--- a/Demos/ShoppingCart1.hs
+++ b/Demos/ShoppingCart1.hs
@@ -101,10 +101,10 @@
 mainProds ::  FlowM Html (Workflow IO) ()
 mainProds   = do
    setTimeouts (10*60) (24*60*60)
---   setHeader $ \w -> bold << "Please enter user/password (pepe/pepe)" +++ br +++ w
---   us <-  getUser
+   setHeader $ \w -> bold << "Please enter user/password (pepe/pepe)" +++ br +++ w
+   us <-  getUser
 
-   setHeader  $ appheader  "user"
+   setHeader  $ appheader  us
    mainProds1 [] $ V.fromList [0]
    where
    mainProds1  prods cart=  do
diff --git a/MFlow.cabal b/MFlow.cabal
--- a/MFlow.cabal
+++ b/MFlow.cabal
@@ -2,7 +2,7 @@
 synopsis:  (Web) application server. Stateful server processes. Simple, statically correct widget combinators.
 
 
-version: 0.0.2
+version: 0.0.3
 cabal-version: -any
 build-type: Simple
 license: BSD3
diff --git a/MFlow.hs b/MFlow.hs
--- a/MFlow.hs
+++ b/MFlow.hs
@@ -57,7 +57,7 @@
 
 import qualified Data.Map as M
 
-import Control.Workflow.Text
+import Control.Workflow
 
 import MFlow.Cookies
 
diff --git a/MFlow/Forms.hs b/MFlow/Forms.hs
--- a/MFlow/Forms.hs
+++ b/MFlow/Forms.hs
@@ -158,18 +158,18 @@
 ,setCookie
 ) where
 import Data.TCache
-import Data.Persistent.Queue.Text
+import Data.Persistent.Queue
 import MFlow
 import MFlow.Cookies
 import Data.RefSerialize (Serialize)
-import Control.Workflow.Text as WF
+import Control.Workflow as WF
 import Data.Typeable
 import Data.Monoid
 import Control.Monad.State
 import Control.Monad.Trans.Maybe
 import Control.Applicative
 import Control.Exception
-import Control.Workflow.Text(exec1,Workflow, waitUntilSTM, step, unsafeIOtoWF)
+import Control.Workflow(exec1,Workflow, waitUntilSTM, step, unsafeIOtoWF)
 
 --import Debug.Trace
 --
diff --git a/MFlow/Forms/XHtml.hs b/MFlow/Forms/XHtml.hs
--- a/MFlow/Forms/XHtml.hs
+++ b/MFlow/Forms/XHtml.hs
@@ -80,7 +80,7 @@
 
 
 instance Typeable X.Html where
-     typeOf =  \_ -> mkTyConApp (mkTyCon "Text.XHtml.Strict.Html") []
+     typeOf =  \_ -> mkTyConApp (mkTyCon3 "XHtml" "Text.XHtml.Strict" "Html") []
 
 instance    FormInput  Html  where
 --    column vs= concatHtml [tr  v  | v <- vs]
diff --git a/MFlow/Hack.hs b/MFlow/Hack.hs
--- a/MFlow/Hack.hs
+++ b/MFlow/Hack.hs
@@ -26,7 +26,7 @@
 
 import Data.TCache
 
-import Control.Workflow.Text
+import Control.Workflow
 
 import MFlow
 import MFlow.Cookies
diff --git a/MFlow/Hack/Response.hs b/MFlow/Hack/Response.hs
--- a/MFlow/Hack/Response.hs
+++ b/MFlow/Hack/Response.hs
@@ -88,7 +88,7 @@
 
 
 instance Typeable Env where
-     typeOf = \_-> mkTyConApp (mkTyCon "Hack.Env") []
+     typeOf = \_-> mkTyConApp (mkTyCon3 "hack" "Hack" "Env") []
 
 instance Typeable Response where
-     typeOf = \_-> mkTyConApp (mkTyCon "Hack.Response")[]
+     typeOf = \_-> mkTyConApp (mkTyCon3 "Hack" "Hack" "Response")[]