diff --git a/crucible-llvm-syntax/README.md b/crucible-llvm-syntax/README.md
index eecc9bf11..e48b78850 100644
--- a/crucible-llvm-syntax/README.md
+++ b/crucible-llvm-syntax/README.md
@@ -36,7 +36,7 @@ If the numeral `w` is the width of a pointer and `n` is an arbitrary numeral,
 
 ## Further extensions
 
-The parser hooks can be further customized by passing yet another `ParserHooks`
+The LLVM parser hooks can be further customized by passing yet another `ParserHooks`
 to them. The `TypeAlias` module implements one such example, for translating
 types like `Long` into `(Ptr n)` or `(Bitvector n)` for appropriate `n`.
 
diff --git a/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs b/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs
index 8e8c890ca..4b329089f 100644
--- a/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs
+++ b/crucible-llvm-syntax/src/Lang/Crucible/LLVM/Syntax/TypeAlias.hs
@@ -33,7 +33,7 @@ data TypeAlias = Byte | Int | Long | PidT | Pointer | Short | SizeT | UidT
 -- represents.
 newtype TypeLookup = TypeLookup (TypeAlias -> (Some LCT.TypeRepr))
 
--- | A lookup function from 'AFE.TypeAlias' to types with the appropriate width
+-- | A lookup function from 'TypeAlias' to types with the appropriate width
 -- on Arm32 Linux.
 aarch32LinuxTypes :: TypeLookup
 aarch32LinuxTypes =