diff --git a/CHANGELOG.rst b/CHANGELOG.rst
--- a/CHANGELOG.rst
+++ b/CHANGELOG.rst
@@ -7,6 +7,20 @@
 .. _PVP: https://pvp.haskell.org/
 
 
+1.1.0.2 (2018-03-01)
+--------------------
+
+* Git: :tag:`dejafu-1.1.0.2`
+* Hackage: :hackage:`dejafu-1.1.0.2`
+
+Miscellaneous
+~~~~~~~~~~~~~
+
+* (:pull:`235`) The documentation for ``Test.DejaFu.Conc.dontCheck``
+  and ``subconcurrency`` clarify that an illegal use does not
+  necessarily cause a failing test.
+
+
 1.1.0.1 (2018-02-26)
 --------------------
 
diff --git a/Test/DejaFu/Conc.hs b/Test/DejaFu/Conc.hs
--- a/Test/DejaFu/Conc.hs
+++ b/Test/DejaFu/Conc.hs
@@ -252,6 +252,8 @@
 -- exist. Calls to 'subconcurrency' cannot be nested, or placed inside
 -- a call to 'dontCheck'. Violating either of these conditions will
 -- result in the computation failing with @IllegalSubconcurrency@.
+-- The overall test-case can still succeed if the predicate allows for
+-- a failing computation.
 --
 -- @since 0.6.0.0
 subconcurrency :: ConcT r n a -> ConcT r n (Either Failure a)
@@ -282,7 +284,8 @@
 --
 -- This must be the first thing done in the main thread.  Violating
 -- this condition will result in the computation failing with
--- @IllegalDontCheck@.
+-- @IllegalDontCheck@.  The overall test-case can still succeed if the
+-- predicate allows for a failing computation.
 --
 -- If the action fails (deadlock, length bound exceeded, etc), the
 -- whole computation fails.
diff --git a/dejafu.cabal b/dejafu.cabal
--- a/dejafu.cabal
+++ b/dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                dejafu
-version:             1.1.0.1
+version:             1.1.0.2
 synopsis:            A library for unit-testing concurrent programs.
 
 description:
@@ -33,7 +33,7 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      dejafu-1.1.0.1
+  tag:      dejafu-1.1.0.2
 
 library
   exposed-modules:     Test.DejaFu