diff --git a/explorer/testdata/addr/fail-method-let.carbon b/explorer/testdata/addr/fail-method-let.carbon
index 446850436725..5d6866d9f651 100644
--- a/explorer/testdata/addr/fail-method-let.carbon
+++ b/explorer/testdata/addr/fail-method-let.carbon
@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:32: method GetSetX requires its receiver to be an lvalue
 
 package ExplorerTest api;
 
@@ -29,6 +28,7 @@ class Point {
 
 fn Main() -> i32 {
   let p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:[[@LINE+1]]: method GetSetX requires its receiver to be an lvalue
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;
diff --git a/explorer/testdata/addr/fail-method-me-type.carbon b/explorer/testdata/addr/fail-method-me-type.carbon
index db906d2c2d54..f0e3b095c069 100644
--- a/explorer/testdata/addr/fail-method-me-type.carbon
+++ b/explorer/testdata/addr/fail-method-me-type.carbon
@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:36: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
 
 package ExplorerTest api;
 
@@ -33,6 +32,7 @@ class Point {
 
 fn Main() -> i32 {
   var p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:[[@LINE+1]]: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;
diff --git a/explorer/update_checks.py b/explorer/update_checks.py
old mode 100644
new mode 100755