diff --git a/COPYRIGHT b/COPYRIGHT
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,4 +1,4 @@
-Copyright (c) 2012-2017, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2012-2020, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 The linearEqSolver library is distributed with the BSD3 license. See the LICENSE file
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 linearEqSolver: Solves linear systems of equations, using SMT solving.
 
-Copyright (c) 2012-2017, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2012-2020, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,9 +1,8 @@
 ## linearEqSolver
 
 Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions
-over rationals are supported. Either single solutions, or all solutions can be computed.
-
-The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.
+over rationals are supported. Either single solutions, or all solutions can be computed. See the inline
+comments in the haddock documentation for example use cases.
 
 ### Build Status
 
diff --git a/linearEqSolver.cabal b/linearEqSolver.cabal
--- a/linearEqSolver.cabal
+++ b/linearEqSolver.cabal
@@ -1,5 +1,5 @@
 Name:          linearEqSolver
-Version:       2.2
+Version:       2.3
 Category:      Math, SMT
 Synopsis:      Use SMT solvers to solve linear systems over integers and rationals
 Description:   Solve linear systems of equations over integers and rationals, using an SMT solver.
@@ -10,7 +10,7 @@
                .
                Release notes can be seen at: <http://github.com/LeventErkok/linearEqSolver/blob/master/CHANGES.md>
 
-Copyright:     Levent Erkok, 2012-2017
+Copyright:     Levent Erkok, 2012-2020
 License:       BSD3
 License-file:  LICENSE
 Stability:     Experimental