diff --git a/LogicGrowsOnTrees.cabal b/LogicGrowsOnTrees.cabal
--- a/LogicGrowsOnTrees.cabal
+++ b/LogicGrowsOnTrees.cabal
@@ -1,11 +1,10 @@
 Name:                LogicGrowsOnTrees
-Version:             1.0.0
+Version:             1.0.0.0.1
 License:             BSD3
 License-file:        LICENSE
 Author:              Gregory Crosswhite
 Maintainer:          Gregory Crosswhite <gcrosswhite@gmail.com>
-Bug-reports:         https://github.com/gcross/LogicGrowsOnTrees/issues
-Synopsis:            a distributed (parallel) implementation of logic programming via dynamically generated trees
+Synopsis:            a parallel implementation of logic programming using distributed tree exploration
 Cabal-version:       >=1.8
 Build-type:          Simple
 Category:	         Control, Distributed Computing, Logic, Parallelism
@@ -202,6 +201,8 @@
 
 Extra-source-files: c-sources/queens.c
 
+Bug-reports: https://github.com/gcross/LogicGrowsOnTrees/issues
+
 Source-Repository head
     Type:     git
     Location: git://github.com/gcross/LogicGrowsOnTrees.git
@@ -209,7 +210,7 @@
 Source-Repository this
     Type:     git
     Location: git://github.com/gcross/LogicGrowsOnTrees.git
-    Tag:      1.0.0
+    Tag:      1.0.0.0.1
 
 Library
     Build-depends: