diff --git a/core-program.cabal b/core-program.cabal
--- a/core-program.cabal
+++ b/core-program.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.12
 name: core-program
-version: 0.2.0.0
+version: 0.2.1.0
 license: BSD3
 license-file: LICENCE
 copyright: © 2018-2019 Operational Dynamics Consulting Pty Ltd, and Others
@@ -51,19 +51,19 @@
         bytestring >=0.10.8.2 && <0.11,
         chronologique >=0.3.1.1 && <0.4,
         core-data >=0.2.0.0 && <0.3,
-        core-text >=0.2.0.0 && <0.3,
+        core-text >=0.2.0.1 && <0.3,
         directory >=1.3.3.0 && <1.4,
-        exceptions >=0.10.2 && <0.11,
+        exceptions >=0.10.3 && <0.11,
         hashable >=1.2.7.0 && <1.3,
         hourglass >=0.2.12 && <0.3,
         mtl >=2.2.2 && <2.3,
-        prettyprinter >=1.2.1 && <1.3,
+        prettyprinter >=1.2.1.1 && <1.3,
         prettyprinter-ansi-terminal >=1.1.1.2 && <1.2,
         safe-exceptions >=0.1.7.0 && <0.2,
         stm >=2.5.0.0 && <2.6,
         template-haskell >=2.14.0.0 && <2.15,
         terminal-size >=0.3.2.1 && <0.4,
         text >=1.2.3.1 && <1.3,
-        text-short >=0.1.2 && <0.2,
+        text-short >=0.1.3 && <0.2,
         transformers >=0.5.6.2 && <0.6,
         unix >=2.7.2.2 && <2.8
diff --git a/lib/Core/Program/Context.hs b/lib/Core/Program/Context.hs
--- a/lib/Core/Program/Context.hs
+++ b/lib/Core/Program/Context.hs
@@ -109,6 +109,11 @@
 
 data Message = Message TimeStamp Verbosity Rope (Maybe Rope)
 
+{-|
+The verbosity level of the logging subsystem. You can override the level
+specified on the command-line using
+'Core.Program.Execute.setVerbosityLevel' from within the 'Program' monad.
+-}
 data Verbosity = Output | Event | Debug
     deriving Show
 
diff --git a/lib/Core/Program/Execute.hs b/lib/Core/Program/Execute.hs
--- a/lib/Core/Program/Execute.hs
+++ b/lib/Core/Program/Execute.hs
@@ -20,6 +20,9 @@
 Install signal handlers to properly terminate the program performing
 cleanup as necessary.
 
+Encoding is set to UTF-8, working around confusing bugs that sometimes
+occur when applications are running in Docker containers.
+
 /Logging and output/
 
 The 'Program' monad provides functions for both normal output and debug
diff --git a/lib/Core/Program/Logging.hs b/lib/Core/Program/Logging.hs
--- a/lib/Core/Program/Logging.hs
+++ b/lib/Core/Program/Logging.hs
@@ -118,7 +118,7 @@
 module Core.Program.Logging
     (
         putMessage
-      , Verbosity
+      , Verbosity(..)
         {-* Normal output -}
       , write
       , writeS
diff --git a/lib/Core/Program/Unlift.hs b/lib/Core/Program/Unlift.hs
--- a/lib/Core/Program/Unlift.hs
+++ b/lib/Core/Program/Unlift.hs
@@ -53,9 +53,9 @@
     'write' \"Finished\"
 @
 
-We have a problem, because we'd like to do is use, say, 'debug' to log the
-compiler error, but we have no way to unlift back out of 'IO' to get to the
-'Program' monad.
+We have a problem, because what we'd like to do is use, say, 'debug' to log
+the compiler error, but we have no way to unlift back out of 'IO' to get to
+the 'Program' monad.
 
 To workaround this, we offer 'withContext'. It gives you a function that
 you can then use within your lifted 'IO' to run a (sub)'Program' action: