diff --git a/doc/jsweet-language-specifications.md b/doc/jsweet-language-specifications.md
index 4b540dc1..3ba5c56a 100644
--- a/doc/jsweet-language-specifications.md
+++ b/doc/jsweet-language-specifications.md
@@ -1713,7 +1713,7 @@ namespace source.extension {
 }
 ```
 
-Note that all the date types have been translated to strings as expected. By the way, note also the JSDoc support, which makes JSweet a powerful tool to create well-document JavaScript APIs from Java (note that doc comments are also tunable in adapters!).
+Note that all the date types have been translated to strings as expected. By the way, note also the JSDoc support, which makes JSweet a powerful tool to create well-documented JavaScript APIs from Java (doc comments are also tunable in adapters!).
 
 ### Extension examples
 
diff --git a/doc/jsweet-language-specifications.pdf b/doc/jsweet-language-specifications.pdf
index e20ae76d..e80fda43 100644
Binary files a/doc/jsweet-language-specifications.pdf and b/doc/jsweet-language-specifications.pdf differ
diff --git a/doc/jsweet-language-specifications.tex b/doc/jsweet-language-specifications.tex
index 1a45bbc2..37ecf2d2 100644
--- a/doc/jsweet-language-specifications.tex
+++ b/doc/jsweet-language-specifications.tex
@@ -1730,7 +1730,7 @@ namespace source.extension {
 }
 \end{lstlisting}
 
-Note that all the date types have been translated to strings as expected. By the way, note also the JSDoc support, which makes JSweet a powerful tool to create well-document JavaScript APIs from Java (note that doc comments are also tunable in adapters!).
+Note that all the date types have been translated to strings as expected. By the way, note also the JSDoc support, which makes JSweet a powerful tool to create well-documented JavaScript APIs from Java (doc comments are also tunable in adapters!).
 
 \section{Extension examples}