diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,11 @@
 * Hackage: <http://hackage.haskell.org/package/sbv>
 * GitHub:  <http://leventerkok.github.com/sbv/>
 
-* Latest Hackage released version: 5.10, 2016-01-14
+* Latest Hackage released version: 5.11, 2016-01-15
+
+### Version 5.11, 2016-01-15
+
+  * Fix documentation issue; no functional changes
 
 ### Version 5.10, 2016-01-14
 
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,8 +1,6 @@
 ## SBV: SMT Based Verification in Haskell
 
-[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)]
-                   (http://hackage.haskell.org/package/sbv)
-[![Build Status](http://img.shields.io/travis/LeventErkok/sbv.svg?label=Build)]
-                (http://travis-ci.org/LeventErkok/sbv)
+[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)](http://hackage.haskell.org/package/sbv)
+[![Build Status](http://img.shields.io/travis/LeventErkok/sbv.svg?label=Build)](http://travis-ci.org/LeventErkok/sbv)
 
-Please see: http://leventerkok.github.com/sbv/
+Please see: http://leventerkok.github.io/sbv/
diff --git a/SBVUnitTest/SBVUnitTestBuildTime.hs b/SBVUnitTest/SBVUnitTestBuildTime.hs
--- a/SBVUnitTest/SBVUnitTestBuildTime.hs
+++ b/SBVUnitTest/SBVUnitTestBuildTime.hs
@@ -2,4 +2,4 @@
 module SBVUnitTestBuildTime (buildTime) where
 
 buildTime :: String
-buildTime = "Thu Jan 14 21:27:52 PST 2016"
+buildTime = "Thu Jan 14 23:22:03 PST 2016"
diff --git a/sbv.cabal b/sbv.cabal
--- a/sbv.cabal
+++ b/sbv.cabal
@@ -1,5 +1,5 @@
 Name:          sbv
-Version:       5.10
+Version:       5.11
 Category:      Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
 Synopsis:      SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
 Description:   Express properties about Haskell programs and automatically prove them using SMT
@@ -7,7 +7,7 @@
                .
                For details, please see: <http://leventerkok.github.com/sbv/>
 
-Copyright:     Levent Erkok, 2010-2015
+Copyright:     Levent Erkok, 2010-2016
 License:       BSD3
 License-file:  LICENSE
 Stability:     Experimental