@@ -13,5 +13,5 @@
 {
   /* incorrect */
-  PetscValidHeader(obj, 2);
+  PetscValidHeader(obj, 1);
   PetscValidHeader(dobj, 600);
 
@@ -14,5 +14,5 @@
   /* incorrect */
   PetscValidHeader(obj, 2);
-  PetscValidHeader(dobj, 600);
+  PetscValidHeader(dobj, 2);
 
   /* correct */