diff --git a/docs/HowToFAQ/Errors-Parser.template b/docs/HowToFAQ/Errors-Parser.template
index aa4be4490de..571c7115464 100644
--- a/docs/HowToFAQ/Errors-Parser.template
+++ b/docs/HowToFAQ/Errors-Parser.template
@@ -204,7 +204,7 @@ module N refines M { datatype D = ... Y | Z }
 
 <!-- INSERT-TEXT -->
 
-## **Error: datatype using traits is a beta feature; use /generalTraits:1 to engage** {#p_general_traits_beta}
+## **Error: datatype extending traits is a beta feature; use /generalTraits:1 to engage** {#p_general_traits_beta}
 
 ```dafny
 trait Trait { }