diff --git a/Folly.cabal b/Folly.cabal
--- a/Folly.cabal
+++ b/Folly.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                Folly
-version:             0.1.5.0
+version:             0.1.5.1
 synopsis:            A first order logic library in Haskell
 description:         An implementation of first order logic in Haskell that
 		     includes a library of modules for incorporating first
@@ -15,7 +15,7 @@
 maintainer:          Dillon Huff
 homepage:	     https://github.com/dillonhuff/Folly
 -- copyright:           
-category:            Theorem proving
+category:            Theorem Provers
 build-type:          Simple
 cabal-version:       >=1.8
 
@@ -31,7 +31,7 @@
   hs-source-dirs:      src
 
 executable Folly-tests
-  main-is:             TestMain.hs
+  main-is:             Main.hs
   other-modules:       Folly.FormulaTests, Folly.LexerTests, Folly.ParserTests, Folly.ResolutionTests, Folly.UnificationTests, Folly.TestUtils, Folly.Clause
   build-depends:       base < 6, HUnit, containers, parsec
   hs-source-dirs:      test, src
diff --git a/test/Main.hs b/test/Main.hs
new file mode 100644
--- /dev/null
+++ b/test/Main.hs
@@ -0,0 +1,14 @@
+module TestMain(main) where
+
+import Folly.FormulaTests
+import Folly.LexerTests
+import Folly.ParserTests
+import Folly.ResolutionTests
+import Folly.UnificationTests
+
+main = do
+  allFormulaTests
+  allLexerTests
+  allParserTests
+  allResolutionTests
+  allUnificationTests
diff --git a/test/TestMain.hs b/test/TestMain.hs
deleted file mode 100644
--- a/test/TestMain.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-module TestMain(main) where
-
-import Folly.FormulaTests
-import Folly.LexerTests
-import Folly.ParserTests
-import Folly.ResolutionTests
-import Folly.UnificationTests
-
-main = do
-  allFormulaTests
-  allLexerTests
-  allParserTests
-  allResolutionTests
-  allUnificationTests