diff --git a/docs/_includes/faq.html b/docs/_includes/faq.html
index 5178e6029271..f5793ee1926a 100644
--- a/docs/_includes/faq.html
+++ b/docs/_includes/faq.html
@@ -6,7 +6,7 @@ <h1 id="why-dotty">Why Dotty?</h1>
             technologies for Scala. The focus is mainly on simplification. We
             remove extraneous syntax (e.g. no XML literals), and try to boil
             down Scala’s types into a smaller set of more fundamental
-            constructors. The theory behind these constructors is researched in
+            constructs. The theory behind these constructs is researched in
             <a href="https://infoscience.epfl.ch/record/215280">DOT</a>, a
             calculus for dependent object types.
         </p>
diff --git a/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md b/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
index efe2ede146a6..5197f5c7b304 100644
--- a/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-09-07-third-dotty-milestone-release.md
@@ -13,7 +13,7 @@ and the compiler supporting them.
 If you’re not familiar with Dotty, it's a platform to try out new language concepts and compiler
 technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax
 (e.g. no XML literals), and try to boil down Scala’s types into a smaller set of more fundamental
-constructors. The theory behind these constructors is researched in
+constructs. The theory behind these constructs is researched in
 [DOT](https://infoscience.epfl.ch/record/215280), a calculus for dependent object types.
 You can learn more about Dotty on our [website](http://dotty.epfl.ch).
 
diff --git a/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md b/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
index 437a76e00dcf..d58398bb7fe4 100644
--- a/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
+++ b/docs/blog/_posts/2017-10-16-fourth-dotty-milestone-release.md
@@ -13,7 +13,7 @@ and the compiler supporting them.
 If you’re not familiar with Dotty, it's a platform to try out new language concepts and compiler
 technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax
 (e.g. no XML literals), and try to boil down Scala’s types into a smaller set of more fundamental
-constructors. The theory behind these constructors is researched in
+constructs. The theory behind these constructs is researched in
 [DOT](https://infoscience.epfl.ch/record/215280), a calculus for dependent object types.
 You can learn more about Dotty on our [website](http://dotty.epfl.ch).
 
diff --git a/docs/docs/index.md b/docs/docs/index.md
index 3e0d5be6ce38..53cfd5c66265 100644
--- a/docs/docs/index.md
+++ b/docs/docs/index.md
@@ -5,8 +5,8 @@ title: "Dotty Documentation"
 
 Dotty is a platform to try out new language concepts and compiler technologies for Scala.
 The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals),
-and try to boil down Scala’s types into a smaller set of more fundamental constructors.
-The theory behind these constructors is researched in DOT, a calculus for dependent object types.
+and try to boil down Scala’s types into a smaller set of more fundamental constructs.
+The theory behind these constructs is researched in DOT, a calculus for dependent object types.
 
 In this documentation you will find information on how to use the Dotty compiler on your machine, navigate through
 the code, setup Dotty with your favorite IDE and more!