diff --git a/core/src/typecheck/pattern.rs b/core/src/typecheck/pattern.rs
index 0ee7fa9d4..ace9c93a3 100644
--- a/core/src/typecheck/pattern.rs
+++ b/core/src/typecheck/pattern.rs
@@ -176,9 +176,9 @@ pub(super) trait PatternTypes {
     /// value will be checked against the type generated by `pattern_type` and the bindings will be
     /// added to the type environment.
     ///
-    /// The type of each "leaf" identifier will be assigned based on the `mode`
-    /// argument. The current possibilities are for each leaf to have type
-    /// `Dyn`, or to be assigned a fresh unification variable.
+    /// The type of each "leaf" identifier will be assigned based on the `mode` argument. The
+    /// current possibilities are for each leaf to have type `Dyn`, to use an explicit type
+    /// annotation, or to be assigned a fresh unification variable.
     fn pattern_types(
         &self,
         state: &mut State,