diff --git a/System/Console/ParseArgs.hs b/System/Console/ParseArgs.hs
--- a/System/Console/ParseArgs.hs
+++ b/System/Console/ParseArgs.hs
@@ -1,17 +1,25 @@
-{-# LANGUAGE FlexibleInstances, DeriveDataTypeable #-}
--- Copyright © 2007 Bart Massey
--- This program is licensed under the "3-clause ('new') BSD License".
--- Please see the file COPYING in this distribution for license terms.
-
--- Full-featured argument parsing library for Haskell programs
+{-# LANGUAGE FlexibleInstances, DeriveDataTypeable, Safe #-}
+------------------------------------------------------------
+-- |
+-- Module      :  System.Console.ParseArgs
+-- Description :  Full-featured command-line argument parsing library.
+-- Copyright   :  (c) 2007 Bart Massey
+-- License     :  BSD-style (see the file COPYING)
+-- Maintainer  :  Bart Massey <bart.massey@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- `ParseArgs` is a full-featured command-line argument
+-- parsing library.
+--
+-- This module supplies an argument parser.  Given a
+-- description of type [`Arg`] of the legal arguments to the
+-- program, a list of argument strings, and a bit of extra
+-- information, the `parseArgs` function in this module
+-- returns an `Args` data structure suitable for querying
+-- using the provided functions `gotArg`, `getArg`, etc.
+------------------------------------------------------------
 
--- |This module supplies an argument parser.
--- Given a description of type [`Arg`] of the legal
--- arguments to the program, a list of argument strings,
--- and a bit of extra information, the `parseArgs` function
--- in this module returns an
--- `Args` data structure suitable for querying using the
--- provided functions `gotArg`, `getArg`, etc.
 module System.Console.ParseArgs (
   -- * Describing allowed arguments
   -- |The argument parser requires a description of
@@ -37,7 +45,7 @@
   -- |The argument parser returns an opaque map
   -- from argument index to parsed argument data
   -- (plus some convenience information).
-  Args(argsUsage,argsProgName, argsRest),
+  Args(..),
   parseArgs, parseArgsIO,
   -- ** Using parse results
   -- |Query functions permit checking for the existence
@@ -55,7 +63,7 @@
 
 import Control.Exception
 import Control.Monad
-import Control.Monad.ST
+import Control.Monad.ST.Safe
 import Data.List
 import qualified Data.Map as Map
 import Data.Maybe
@@ -163,10 +171,12 @@
 -- |The type of the mapping from argument index to value.
 newtype ArgRecord a = ArgRecord (Map.Map a Argval)
 
--- |The data structure `parseArgs` produces. There is a hidden
--- field that describes the actual parse.
+-- |The data structure `parseArgs` produces. There is a should-be-hidden
+-- field that describes the parse.
 data (Ord a) => Args a =
-    Args { args :: ArgRecord a      -- ^The argument map.
+    Args { __args :: ArgRecord a    -- ^The argument parse, only listed here
+                                    -- to work around a Haddock bug. See
+                                    -- <https://github.com/haskell/haddock/issues/456>.
          , argsProgName :: String   -- ^Basename of 0th argument.
          , argsUsage :: String      -- ^Full usage string.
          , argsRest :: [ String ]   -- ^Remaining unprocessed arguments.
@@ -391,7 +401,7 @@
            unless (and (map (check_present usage am) required_args))
                   (error "internal error")
            let am' = foldl supply_defaults am argd
-           return (Args { args = ArgRecord am',
+           return (Args { __args = ArgRecord am',
                           argsProgName = prog_name,
                           argsUsage = usage,
                           argsRest = rest }))
@@ -560,7 +570,7 @@
           Args a    -- ^Parsed arguments.
        -> a         -- ^Index of argument to be checked for.
        -> Bool      -- ^True if the arg was present.
-gotArg (Args { args = ArgRecord am }) k =
+gotArg (Args { __args = ArgRecord am }) k =
     case Map.lookup k am of
       Just _ -> True
       Nothing -> False
@@ -587,7 +597,7 @@
                           ++ show index ++ "not supplied")
 
 getArgPrimitive :: Ord a => (Argval -> Maybe b) -> Args a -> a -> Maybe b
-getArgPrimitive decons (Args { args = ArgRecord am }) k =
+getArgPrimitive decons (Args { __args = ArgRecord am }) k =
   Map.lookup k am >>= decons
 
 instance ArgType () where
diff --git a/parseargs.cabal b/parseargs.cabal
--- a/parseargs.cabal
+++ b/parseargs.cabal
@@ -6,26 +6,28 @@
 Build-Type: Simple
 Description: Parse command-line arguments
 -- Don't forget to bump the source-repository this below
-Version: 0.2.0.2
+Version: 0.2.0.3
 Cabal-Version: >= 1.6
 License: BSD3
 License-File: COPYING
 Author: Bart Massey <bart@cs.pdx.edu>
-Copyright: Copyright (C) 2008 Bart Massey
+Copyright: Copyright (c) 2007 Bart Massey
 Maintainer: Bart Massey <bart@cs.pdx.edu>
 Homepage: http://github.com/BartMassey/parseargs
 Category: Console
-Synopsis: Command-line argument parsing library for Haskell programs
+Synopsis: Full-featured command-line argument parsing library.
 Extra-Source-Files: README.md
 
 Library
   Build-Depends:   base < 5, containers < 1
   Exposed-Modules: System.Console.ParseArgs
+  GHC-Options:     -Wall
 
 Executable parseargs-example
   Build-Depends:   base < 5
   Main-Is:         parseargs-example.hs
   Other-Modules:   System.Console.ParseArgs
+  GHC-Options:     -Wall
 
 Source-repository head
   Type:     git
@@ -34,4 +36,4 @@
 Source-repository this
   Type:     git
   Location: git://github.com/BartMassey/parseargs.git
-  Tag:      v0.2.0.2
+  Tag:      v0.2.0.3