diff --git a/Ledger/Entry.hs b/Ledger/Entry.hs
index c9ca578b1..c3c45ce97 100644
--- a/Ledger/Entry.hs
+++ b/Ledger/Entry.hs
@@ -1,7 +1,7 @@
 {-|
 
-An 'Entry' represents a normal entry in the ledger file. It contains
-two or more 'RawTransaction's which balance.
+An 'Entry' represents a normal entry in the ledger file. It normally
+contains two or more 'RawTransaction's which balance.
 
 -}
 
diff --git a/Ledger/Ledger.hs b/Ledger/Ledger.hs
index 65598a68c..358f5c6d9 100644
--- a/Ledger/Ledger.hs
+++ b/Ledger/Ledger.hs
@@ -2,6 +2,8 @@
 
 A 'Ledger' stores, for efficiency, a 'RawLedger' plus its tree of account
 names, a map from account names to 'Account's, and the display precision.
+Also, the Account 'Transaction's are filtered according to the provided
+account name/description patterns.
 
 -}
 
@@ -42,10 +44,7 @@ instance Show Ledger where
               (length $ periodic_entries $ rawledger l))
              (length $ accountnames l)
 
--- | at startup, to improve performance, we refine the parsed ledger entries:
--- 1. filter based on account/description patterns, if any
--- 2. cache per-account info
--- 3. figure out the precision(s) to use
+-- | Convert a raw ledger to a more efficient filtered and cached type, described above.
 cacheLedger :: RawLedger -> (Regex,Regex) -> Ledger
 cacheLedger l pats = 
     let 
@@ -89,7 +88,7 @@ filterLedgerEntries (acctpat,descpat) (RawLedger ms ps es f) =
                       otherwise -> True
 
 -- | in each ledger entry, filter out transactions which do not match the
--- account patterns.  (Entries are no longer balanced after this.)
+-- filter patterns.  (The entries are no longer balanced after this.)
 filterLedgerTransactions :: (Regex,Regex) -> RawLedger -> RawLedger
 filterLedgerTransactions (acctpat,descpat) (RawLedger ms ps es f) = 
     RawLedger ms ps (map filterentrytxns es) f
@@ -99,13 +98,17 @@ filterLedgerTransactions (acctpat,descpat) (RawLedger ms ps es f) =
                      Nothing -> False
                      otherwise -> True
 
+-- | List a 'Ledger' 's account names.
 accountnames :: Ledger -> [AccountName]
 accountnames l = flatten $ accountnametree l
 
+-- | Get the named account from a ledger.
 ledgerAccount :: Ledger -> AccountName -> Account
 ledgerAccount l a = (accounts l) ! a
 
--- | This sets all amount precisions to that of the highest-precision
+-- | List a ledger's transactions.
+--
+-- NB this sets the amount precisions to that of the highest-precision
 -- amount, to help with report output. It should perhaps be done in the
 -- display functions, but those are far removed from the ledger. Keep in
 -- mind if doing more arithmetic with these.
@@ -115,27 +118,30 @@ ledgerTransactions l =
     where
       setprecisions = map (transactionSetPrecision (lprecision l))
 
+-- | Get a ledger's tree of accounts to the specified depth.
 ledgerAccountTree :: Ledger -> Int -> Tree Account
 ledgerAccountTree l depth = 
     addDataToAccountNameTree l $ treeprune depth $ accountnametree l
 
+-- | Convert a tree of account names into a tree of accounts, using their
+-- parent ledger.
 addDataToAccountNameTree :: Ledger -> Tree AccountName -> Tree Account
 addDataToAccountNameTree = treemap . ledgerAccount
 
--- | for the print command
+-- | Print a print report.
 printentries :: Ledger -> IO ()
 printentries l = putStr $ showEntries $ setprecisions $ entries $ rawledger l
     where setprecisions = map (entrySetPrecision (lprecision l))
       
--- | for the register command
+-- | Print a register report.
 printregister :: Ledger -> IO ()
 printregister l = putStr $ showTransactionsWithBalances 
                   (sortBy (comparing date) $ ledgerTransactions l)
                   nullamt{precision=lprecision l}
 
 {-| 
-This and the functions below generate ledger-compatible balance report
-output. Here's how it should work:
+This and the helper functions below generate ledger-compatible balance
+report output. Here's how it should work:
 
 a sample account tree:
 
@@ -219,6 +225,9 @@ showLedgerAccounts l maxdepth =
     (branches $ ledgerAccountTree l maxdepth)
 -- XXX need to add up and show balances too
 
+-- | Get the string representation of a tree of accounts.
+-- The ledger from which the accounts come is also required, so that
+-- we can check for boring accounts.
 showAccountTree :: Ledger -> Tree Account -> String
 showAccountTree l = showAccountTree' l 0 . pruneBoringBranches
 
diff --git a/Ledger/Transaction.hs b/Ledger/Transaction.hs
index 41fab0c1c..d249115fb 100644
--- a/Ledger/Transaction.hs
+++ b/Ledger/Transaction.hs
@@ -1,7 +1,7 @@
 {-|
 
-A 'Transaction' is a 'RawTransaction' with its parent 'Entry' \'s
-date and description attached, for easier querying.
+A 'Transaction' is a 'RawTransaction' with its parent 'Entry' \'s date and
+description attached. These are what we actually query when doing reports.
 
 -}