diff --git a/Language/CNF/Parse/ParseDIMACS.hs b/Language/CNF/Parse/ParseDIMACS.hs
--- a/Language/CNF/Parse/ParseDIMACS.hs
+++ b/Language/CNF/Parse/ParseDIMACS.hs
@@ -23,7 +23,7 @@
 
 data CNF = CNF {numVars :: Int
                ,numClauses :: Int
-               ,clauses :: [[Integer]]}
+               ,clauses :: [[Int]]}
 
 parseCNF :: String              -- ^ The filename.  Used to report errors.
          -> String              -- ^ The contents of the CNF file.
@@ -54,7 +54,7 @@
                skipComments)
        <|> return ()
 
-int :: Parser Integer
+int :: Parser Int
 int = do parity <- option '+' $ choice $ map char "+-"
          first <- nonZeroDigit
          rest <- many digit
@@ -71,13 +71,13 @@
                spaces
                return i
 
-clause :: Parser [Integer]
+clause :: Parser [Int]
 clause =
     do spaces
        lits <- between (string "") (char '0') (many1 intSpaces)
        newline
        return $ lits
 
-manyClause :: Parser [[Integer]]
+manyClause :: Parser [[Int]]
 manyClause = many1 clause
 
diff --git a/parse-dimacs.cabal b/parse-dimacs.cabal
--- a/parse-dimacs.cabal
+++ b/parse-dimacs.cabal
@@ -1,5 +1,5 @@
 Name:                parse-dimacs
-Version:             1.0
+Version:             1.0.1
 Synopsis:            DIMACS CNF parser library
 Description:         A DIMACS CNF parser library, implemented with Parsec.
 Category:            Parsing