diff --git a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java
index b0b1d05..9d3e74b 100644
--- a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java
+++ b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java
@@ -15,5 +15,4 @@
 @SubtypeOf({TemplateforaUnknown.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-@TargetLocations({TypeUseLocation.EXPLICIT_LOWER_BOUND, TypeUseLocation.EXPLICIT_UPPER_BOUND})
 public @interface TemplateforaBottom {}
diff --git a/tests/templatefora/SubtypingTest.java b/tests/templatefora/SubtypingTest.java
index f6fbcdf..ff1dfaa 100644
--- a/tests/templatefora/SubtypingTest.java
+++ b/tests/templatefora/SubtypingTest.java
@@ -5,7 +5,7 @@ class SubtypeTest {
   void allSubtypingRelationships(@TemplateforaUnknown int x, @TemplateforaBottom int y) {
     @TemplateforaUnknown int a = x;
     @TemplateforaUnknown int b = y;
-    // :: error: assignment
+    // :: error: (assignment.type.incompatible)
     @TemplateforaBottom int c = x; // expected error on this line
     @TemplateforaBottom int d = y;
   }