diff --git a/Control/Monad/Imperative.hs b/Control/Monad/Imperative.hs
--- a/Control/Monad/Imperative.hs
+++ b/Control/Monad/Imperative.hs
@@ -1,27 +1,13 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Imperative
--- Author      :  Matthew Mirman ( mmirman@andrew.cmu.edu )
+-- Maintainer  :  Matthew Mirman <mmirman@andrew.cmu.edu>
 -- Stability   :  experimental
 -- Portability :  portable
 -- Description :  A front end for the ImperativeMonad
 -- License     :  GNUv3
 -- 
--- Copyright (C) 2012  Matthew Mirman
--- 
--- This program is free software: you can redistribute it and/or modify
--- it under the terms of the GNU General Public License as published by
--- the Free Software Foundation, either version 3 of the License, or
--- (at your option) any later version.
--- 
--- This program is distributed in the hope that it will be useful,
--- but WITHOUT ANY WARRANTY; without even the implied warranty of
--- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--- GNU General Public License for more details.
--- 
--- You should have received a copy of the GNU General Public License
--- along with this program.  If not, see <http://www.gnu.org/licenses/>
-
+-----------------------------------------------------------------------------
 module Control.Monad.Imperative (module X) where
 
 import Control.Monad.Imperative.ImperativeMonad as X
diff --git a/Control/Monad/Imperative/ImperativeMonad.hs b/Control/Monad/Imperative/ImperativeMonad.hs
--- a/Control/Monad/Imperative/ImperativeMonad.hs
+++ b/Control/Monad/Imperative/ImperativeMonad.hs
@@ -6,27 +6,13 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Imperative.ImperativeMonad
--- Author      :  Matthew Mirman ( mmirman@andrew.cmu.edu )
+-- Maintainer  :  Matthew Mirman <mmirman@andrew.cmu.edu>
 -- Stability   :  experimental
--- Portability :  portable
+-- Portability :  GADTs, EmptyDataDecls
 -- Description :  A module for Imperative haskell code.
 -- License     :  GNUv3
 -- 
--- Copyright (C) 2012  Matthew Mirman
--- 
--- This program is free software: you can redistribute it and/or modify
--- it under the terms of the GNU General Public License as published by
--- the Free Software Foundation, either version 3 of the License, or
--- (at your option) any later version.
--- 
--- This program is distributed in the hope that it will be useful,
--- but WITHOUT ANY WARRANTY; without even the implied warranty of
--- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--- GNU General Public License for more details.
--- 
--- You should have received a copy of the GNU General Public License
--- along with this program.  If not, see <http://www.gnu.org/licenses/>
-
+-----------------------------------------------------------------------------
 module Control.Monad.Imperative.ImperativeMonad 
        ( modifyOp
        , if'
diff --git a/Control/Monad/Imperative/ImperativeOperators.hs b/Control/Monad/Imperative/ImperativeOperators.hs
--- a/Control/Monad/Imperative/ImperativeOperators.hs
+++ b/Control/Monad/Imperative/ImperativeOperators.hs
@@ -4,27 +4,13 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Imperative.ImperativeOperators
--- Author      :  Matthew Mirman ( mmirman@andrew.cmu.edu )
+-- Maintainer  :  Matthew Mirman <mmirman@andrew.cmu.edu>
 -- Stability   :  experimental
--- Portability :  portable
+-- Portability :  NoMonomorphismRestriction
 -- Description :  Some predefined operators for the imperative monad.
 -- License     :  GNUv3
 -- 
--- Copyright (C) 2012  Matthew Mirman
--- 
--- This program is free software: you can redistribute it and/or modify
--- it under the terms of the GNU General Public License as published by
--- the Free Software Foundation, either version 3 of the License, or
--- (at your option) any later version.
--- 
--- This program is distributed in the hope that it will be useful,
--- but WITHOUT ANY WARRANTY; without even the implied warranty of
--- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--- GNU General Public License for more details.
--- 
--- You should have received a copy of the GNU General Public License
--- along with this program.  If not, see <http://www.gnu.org/licenses/>
-
+-----------------------------------------------------------------------------
 module Control.Monad.Imperative.ImperativeOperators where
 
 import Control.Monad.Imperative.ImperativeMonad
diff --git a/ImperativeHaskell.cabal b/ImperativeHaskell.cabal
--- a/ImperativeHaskell.cabal
+++ b/ImperativeHaskell.cabal
@@ -1,10 +1,11 @@
 Name:                ImperativeHaskell
-Version:             0.1.0.0
+Version:             0.1.0.1
 Description:         A monad that uses GADTs and continuations
                      to replicate what it is like to program
                      in an imperative language like C or Java
                      with "return", "for", "break", "continue", 
                      and mutable references.
+Synopsis:	     A library for writing Imperative style haskell.
 
 Homepage:            https://github.com/mmirman/ImperativeHaskell
 
@@ -22,6 +23,10 @@
 
 Cabal-version:       >=1.6
 
+Source-repository head
+  Type:     git
+  Location: git://github.com/mmirman/ImperativeHaskell.git
+
 Library
   
   Build-depends:       base >= 4.0 && < 5.0, 
@@ -33,11 +38,3 @@
   
   Extensions: GADTs, EmptyDataDecls, NoMonomorphismRestriction
     
-Executable test1
-  Main-is: Main.hs
-  Other-Modules: Control.Monad.Imperative
-  Build-depends: base
-    
-source-repository head
-  type:     git
-  location: git://github.com/mmirman/ImperativeHaskell.git
