diff --git a/modules/docs/src/01-overview/01-intro.md b/modules/docs/src/01-overview/01-intro.md
index fdc43717d0..9cb816556c 100644
--- a/modules/docs/src/01-overview/01-intro.md
+++ b/modules/docs/src/01-overview/01-intro.md
@@ -8,8 +8,8 @@ title: Intro
 smithy4s is a tool that generates third-party-free, protocol-agnostic scala code from smithy specifications.
 
 Smithy4s can be used to:
-* quickly synthetise http/rest servers and clients
-* synthetise pure-scala AWS clients
-* synthetise CLI tools
+* quickly derive http/rest servers and clients
+* derive pure-scala AWS clients
+* derive CLI tools
 * and has the potential for much, much more!
 
diff --git a/modules/docs/src/03-protocols/02-simple-rest-json/01-overview.md b/modules/docs/src/03-protocols/02-simple-rest-json/01-overview.md
index c67a061c07..147a168a27 100644
--- a/modules/docs/src/03-protocols/02-simple-rest-json/01-overview.md
+++ b/modules/docs/src/03-protocols/02-simple-rest-json/01-overview.md
@@ -5,7 +5,7 @@ title: The SimpleRestJson protocol
 
 Smithy4s provides a custom Json-in/Json-out protocol that smithy services can be annotated with.
 
-Smithy4s comes with opt-in http4s-specific module, that contains functions that are aware of this protocol, and can be used to quickly synthetise http services and clients.
+Smithy4s comes with opt-in http4s-specific module, that contains functions that are aware of this protocol, and can be used to quickly derive http services and clients.
 
 As for the json aspect of the protocol, [jsoniter-scala](https://github.com/plokhotnyuk/jsoniter-scala/) is used for the (de)serialisation of the http bodies.