@@ -19,5 +19,5 @@
 
   /* incorrect */
-  PetscValidPointer(foo, -1);
+  PetscValidPointer(foo, 1);
   PetscValidPointer(bar, -2);
   PetscValidPointer(baz, -3);
@@ -20,5 +20,5 @@
   /* incorrect */
   PetscValidPointer(foo, -1);
-  PetscValidPointer(bar, -2);
+  PetscValidPointer(bar, 1);
   PetscValidPointer(baz, -3);
   PetscValidPointer((void *)v->data, -4);
@@ -21,5 +21,5 @@
   PetscValidPointer(foo, -1);
   PetscValidPointer(bar, -2);
-  PetscValidPointer(baz, -3);
+  PetscValidPointer(baz, 1);
   PetscValidPointer((void *)v->data, -4);
   PetscValidPointer(*blip, -5);
@@ -22,5 +22,5 @@
   PetscValidPointer(bar, -2);
   PetscValidPointer(baz, -3);
-  PetscValidPointer((void *)v->data, -4);
+  PetscValidPointer((void *)v->data, 1);
   PetscValidPointer(*blip, -5);
   PetscValidPointer(blop, -6);
@@ -23,5 +23,5 @@
   PetscValidPointer(baz, -3);
   PetscValidPointer((void *)v->data, -4);
-  PetscValidPointer(*blip, -5);
+  PetscValidPointer(*blip, 1);
   PetscValidPointer(blop, -6);
 
@@ -24,5 +24,5 @@
   PetscValidPointer((void *)v->data, -4);
   PetscValidPointer(*blip, -5);
-  PetscValidPointer(blop, -6);
+  PetscValidPointer(blop, 1);
 
   /* correct */