diff --git a/testinput/typecheck/GenericInterfaces.java b/testinput/typecheck/GenericInterfaces.java
index ae2f892..52325af 100644
--- a/testinput/typecheck/GenericInterfaces.java
+++ b/testinput/typecheck/GenericInterfaces.java
@@ -1,6 +1,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.Readonly;
+// @skip-test wait for discussion
 
 interface MIt<E extends @Readonly Object> {
     E next();
diff --git a/testinput/typecheck/Static.java b/testinput/typecheck/Static.java
index 1a53dfc..eb53342 100644
--- a/testinput/typecheck/Static.java
+++ b/testinput/typecheck/Static.java
@@ -30,6 +30,7 @@ void twoRuntimeSemantics() {
 
     // :: error: (static.receiverdependantmutable.forbidden)
     static @ReceiverDependantMutable Object readStaticReceiverDependantMutableField(
+            // :: error: (static.receiverdependantmutable.forbidden)
             @ReceiverDependantMutable Object p) {
         return o;
         // TODO Avoid warnings for receiverdependantmutable fields in anonymous class