diff --git a/LanguageFeatures/nnbd/static_errors_A13_t02.dart b/LanguageFeatures/nnbd/static_errors_A13_t02.dart
index b88bc13..b45b158 100644
--- a/LanguageFeatures/nnbd/static_errors_A13_t02.dart
+++ b/LanguageFeatures/nnbd/static_errors_A13_t02.dart
@@ -4,8 +4,10 @@
  * BSD-style license that can be found in the LICENSE file.
  */
 /**
- * @assertion It is an error to call a method, setter, or getter on a receiver
- * of static type Never (including via a null aware operator).
+ * @assertion It is not an error to call or tear-off a method, setter, or
+ * getter, or to read or write a field, on a receiver of static type Never.
+ * Implementations that provide feedback about dead or unreachable code are
+ * encouraged to indicate that any arguments to the invocation are unreachable.
  *
  * @description Check that it is an error to call a method, setter, or getter on
  * a receiver of static type Never (including via a null aware operator). Test
diff --git a/LanguageFeatures/nnbd/static_errors_A14_t02.dart b/LanguageFeatures/nnbd/static_errors_A14_t02.dart
index cb5ea46..4d94290 100644
--- a/LanguageFeatures/nnbd/static_errors_A14_t02.dart
+++ b/LanguageFeatures/nnbd/static_errors_A14_t02.dart
@@ -4,8 +4,8 @@
  * BSD-style license that can be found in the LICENSE file.
  */
 /**
- * @assertion It is an error to apply an expression of type Never in the
- * function position of a function call.
+ * @assertion It is not an error to apply an expression of type Never in the
+ * function position of a function call
  *
  * @description Check that it is not  an error to apply an expression of type
  * Never in the function position of a function call. Test type aliases