diff --git a/src/analyses/goto_check.cpp b/src/analyses/goto_check.cpp
index 457ec4089f4..07c64c202b3 100644
--- a/src/analyses/goto_check.cpp
+++ b/src/analyses/goto_check.cpp
@@ -1185,13 +1185,11 @@ void goto_checkt::bounds_check(
 
     add_guarded_claim(
       precond,
-      name+" upper bound",
+      name+" dynamic object upper bound",
       "array bounds",
       expr.find_source_location(),
       expr,
       guard);
-
-    return;
   }
 
   const exprt &size=array_type.id()==ID_array ?