diff --git a/pages/docs/manual/latest/introduction.mdx b/pages/docs/manual/latest/introduction.mdx
index df1c83e15..64d411104 100644
--- a/pages/docs/manual/latest/introduction.mdx
+++ b/pages/docs/manual/latest/introduction.mdx
@@ -12,7 +12,7 @@ We respect TypeScript very much and think that it's a positive force in the Java
 
 - Consequently, TypeScript's type system is necessarily complex, pitfalls-ridden, potentially requires tweaking, sometime slow, and requires quite a bit of noisy annotations that often feel like manual bookkeeping rather than clear documentation. In contrast, ReScript's type system:
   - Is deliberately curated to be a simple subset most folks will have an easier time to use.
-  - Has **no** pitfalls, aka the type system is "sound" (the types will always be correct). E.g. If your value is not null, it'll never lie and slip through some `undefined` value. **Pure ReScript programs have no null errors**.
+  - Has **no** pitfalls, aka the type system is "sound" (the types will always be correct). E.g. If your value is not null, it'll never lie and slip through some `undefined` value. **ReScript code has no null errors**.
   - Is the same for everyone. No knobs, no bikeshedding opportunity.
   - Runs extremely fast precisely thanks to its simplicity and curation. We're one of the fastest compiler & build system for JavaScript development.
   - **Doesn't need type annotations**. Annotate as much or as little as you'd like. The types are inferred by the language (and, again, are guaranteed correct).