diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,1 @@
-# For special configuration, especially for docs.  Otherwise see README.
-
-# haddock-interfaces=\
-#   http://haskell.org/ghc/docs/latest/html/libraries/base,c:/ghc/ghc-6.6/doc/html/libraries/base/base.haddock \
-#   http://haskell.org/ghc/docs/latest/html/libraries/mtl,c:/ghc/ghc-6.6/doc/html/libraries/mtl/mtl.haddock \
-#   http://darcs.haskell.org/packages/DeepArrow/doc/html,c:/Haskell/packages/DeepArrow-0.0.1/doc/html/DeepArrow.haddock
-
-include ../my-cabal-make.inc
+include ../cho-home-cabal-make.inc
diff --git a/TV.cabal b/TV.cabal
--- a/TV.cabal
+++ b/TV.cabal
@@ -1,5 +1,5 @@
 Name:                TV
-Version:             0.4.3
+Version:             0.4.5
 Synopsis:	     Tangible Values -- composable interfaces
 Category:            Interfaces
 Description:
@@ -20,7 +20,7 @@
 Author:              Conal Elliott 
 Maintainer:          conal@conal.net
 Homepage:            http://haskell.org/haskellwiki/TV
-Package-Url:	     http://darcs.haskell.org/packages/TV
+Package-Url:	     http://code.haskell.org/~conal/code/TV
 Copyright:           (c) 2006,2009 by Conal Elliott
 License:             BSD3
 Stability:	     experimental
diff --git a/src/Interface/TV/Common.hs b/src/Interface/TV/Common.hs
--- a/src/Interface/TV/Common.hs
+++ b/src/Interface/TV/Common.hs
@@ -82,7 +82,7 @@
 class CommonOuts snk where
   -- | Output a string
   putString :: snk String
-  -- | Shows based outout.  Define as 'putReadC' when @snk@ is a
+  -- | Shows based outout.  Define as 'putShowC' when @snk@ is a
   -- 'Cofunctor'
   putShow :: Show a => snk a
   -- | Output a bool
diff --git a/src/Interface/TV/Tangible.hs b/src/Interface/TV/Tangible.hs
--- a/src/Interface/TV/Tangible.hs
+++ b/src/Interface/TV/Tangible.hs
@@ -53,7 +53,7 @@
 
 -- | Dissect a 'TV'
 unTv :: TV src snk a -> (Output src snk a, a)
-unTv (Prod (o, ida)) = (o, unId ida)
+unTv (Prod (o, Id a)) = (o, a)
 
 -- | Useful to define disambiguating type-specializations of 'runTV'
 type RunTV src snk = forall a. TV src snk a -> IO ()