diff --git a/src/Brick/AttrMap.hs b/src/Brick/AttrMap.hs
index 0e30e58..30e04f2 100644
--- a/src/Brick/AttrMap.hs
+++ b/src/Brick/AttrMap.hs
@@ -140,11 +140,11 @@ mergeWithDefault a (AttrMap d _) = combineAttrs d a
 -- For example:
 --
 -- @
--- attrMapLookup ("foo" <> "bar") (attrMap a []) == a
--- attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", fg red)]) == red \`on\` blue
--- attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", red `on` cyan)]) == red \`on\` cyan
--- attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo" <> "bar", fg red), ("foo", bg cyan)]) == red \`on\` cyan
--- attrMapLookup ("foo" <> "bar") (attrMap (bg blue) [("foo", fg red)]) == red \`on\` blue
+-- attrMapLookup (attrName "foo" <> attrName "bar") (attrMap a []) == a
+-- attrMapLookup (attrName "foo" <> attrName "bar") (attrMap (bg blue) [(attrName "foo" <> attrName "bar", fg red)]) == red \`on\` blue
+-- attrMapLookup (attrName "foo" <> attrName "bar") (attrMap (bg blue) [(attrName "foo" <> attrName "bar", red `on` cyan)]) == red \`on\` cyan
+-- attrMapLookup (attrName "foo" <> attrName "bar") (attrMap (bg blue) [(attrName "foo" <> attrName "bar", fg red), ("foo", bg cyan)]) == red \`on\` cyan
+-- attrMapLookup (attrName "foo" <> attrName "bar") (attrMap (bg blue) [(attrName "foo", fg red)]) == red \`on\` blue
 -- @
 attrMapLookup :: AttrName -> AttrMap -> Attr
 attrMapLookup _ (ForceAttr a) = a
diff --git a/src/Brick/Themes.hs b/src/Brick/Themes.hs
index 44e450c..69079ac 100644
--- a/src/Brick/Themes.hs
+++ b/src/Brick/Themes.hs
@@ -37,7 +37,7 @@
 -- the same @fg@, @bg@, and @style@ settings as for the default
 -- attribute. Furthermore, if an attribute name has multiple components,
 -- the fields in the INI file should use periods as delimiters. For
--- example, if a theme has an attribute name (@"foo" <> "bar"@), then
+-- example, if a theme has an attribute name (@attrName "foo" <> attrName "bar"@), then
 -- the file may specify three fields:
 --
 --  * @foo.bar.fg@ - a color specification
@@ -50,7 +50,7 @@
 --
 -- Attribute names with multiple components (e.g. @attr1 <> attr2@) can
 -- be referenced in customization files by separating the names with
--- a dot. For example, the attribute name @"list" <> "selected"@ can be
+-- a dot. For example, the attribute name @attrName "list" <> attrName "selected"@ can be
 -- referenced by using the string "list.selected".
 module Brick.Themes
   ( CustomAttr(..)