diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -2,6 +2,16 @@
 Change Log
 ==========
 
+Version 0.8.0.3 (2017-07-04) *Independence Day in the United States*
+--------------------------------------------------------------------
+
+#### Package changes
+
+* Change QuickCheck upper bound from 2.10 to 2.11 and import the `Arbitrary`
+  `NonEmpty` instance from quickcheck-instances for 2.10
+* Fix `stimes` property in test suite
+  ([Oleg Grenrus](https://github.com/phadej))
+
 Version 0.8.0.2 (2016-09-04) *World Sexual Health Day*
 ------------------------------------------------------
 
@@ -45,7 +55,7 @@
 * Fix GHC 7.10 warnings due to imports
   ([Mikhail Glushenkov](https://github.com/23Skidoo))
 
-Version 0.7.1.1 (2015-03-19) *St Joseph's Day*
+Version 0.7.1.1 (2015-03-19) *St. Joseph's Day*
 ----------------------------------------------
 
 #### Package changes
@@ -110,6 +120,6 @@
 
 #### Deprecations
 
-* Deprecate DList constructor and record selector to make it abstract
+* Deprecate `DList` constructor and record selector to make it abstract
   (see [#4](https://github.com/spl/dlist/issues/4))
 * Deprecate `maybeReturn` which is not directly relevant to dlists
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 # Difference Lists in Haskell
 
-[![Travis CI](https://img.shields.io/travis/spl/dlist.svg?maxAge=2592000)](https://travis-ci.org/spl/dlist)
-[![Hackage](https://img.shields.io/hackage/v/dlist.svg?maxAge=2592000)](https://hackage.haskell.org/package/dlist)
+[![Hackage](https://img.shields.io/hackage/v/dlist.svg?maxAge=3600)](https://hackage.haskell.org/package/dlist "dlist on Hackage")
+[![Hackage dependencies](https://img.shields.io/hackage-deps/v/dlist.svg?maxAge=3600)](http://packdeps.haskellers.com/feed?needle=dlist "dlist updated Hackage dependencies")
+[![Travis CI](https://img.shields.io/travis/spl/dlist.svg?maxAge=3600)](https://travis-ci.org/spl/dlist "dlist build history on Travis CI")
 
 ## Summary
 
diff --git a/dlist.cabal b/dlist.cabal
--- a/dlist.cabal
+++ b/dlist.cabal
@@ -1,5 +1,5 @@
 name:                   dlist
-version:                0.8.0.2
+version:                0.8.0.3
 synopsis:               Difference lists
 description:
   Difference lists are a list-like type supporting O(1) append. This is
@@ -45,10 +45,12 @@
   build-depends:        dlist,
                         base,
                         Cabal,
-                        QuickCheck < 2.10
-  if impl(ghc >= 8)
-    -- QuickCheck-2.9 introduced support for Semigroup and NonEmpty in base.
-    -- It is required for testing base >= 4.9 (GHC >= 8).
-    build-depends:      QuickCheck >= 2.9
+                        QuickCheck < 2.11
+  -- Semigroup and NonEmpty were introduced in base-4.9 (ghc-8).
+  -- QuickCheck-2.9 included support. QuickCheck-2.10 dropped support.
+  -- quickcheck-instances-0.3.15 has the Arbitrary NonEmpty instance.
+  if impl(ghc > 8)
+    build-depends:      QuickCheck >= 2.9,
+                        quickcheck-instances >= 0.3.15 && < 0.4
   else
     build-depends:      QuickCheck >= 2.7
diff --git a/tests/Main.hs b/tests/Main.hs
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -24,10 +24,18 @@
 import OverloadedStrings (testOverloadedStrings)
 
 #if MIN_VERSION_base(4,9,0)
+-- base-4.9 introduced Semigroup and NonEmpty.
 import Data.Semigroup (Semigroup(..))
 import Data.List.NonEmpty (NonEmpty(..))
+
+-- QuickCheck-2.10 dropped the Arbitrary NonEmpty instance, so we import it from
+-- quickcheck-instances.
+#if MIN_VERSION_QuickCheck(2,10,0)
+import Test.QuickCheck.Instances ()
 #endif
 
+#endif
+
 --------------------------------------------------------------------------------
 
 eqWith :: Eq b => (a -> b) -> (a -> b) -> a -> Bool
@@ -118,7 +126,8 @@
 prop_Semigroup_sconcat xs = sconcat xs == toList (sconcat (fmap fromList xs))
 
 prop_Semigroup_stimes :: Int -> [Int] -> Bool
-prop_Semigroup_stimes n xs = stimes n xs == toList (stimes n (fromList xs))
+prop_Semigroup_stimes n xs =
+  n < 0 || stimes n xs == toList (stimes n (fromList xs))
 #endif
 
 --------------------------------------------------------------------------------