Index: generic/xotclInt.h
===================================================================
diff -u -r7efafd7b19c58bf0f5ac486779e8ce778e60c9bb -rf93a860bacabe371e1f01bd3f3841015c6b14a21
--- generic/xotclInt.h	(.../xotclInt.h)	(revision 7efafd7b19c58bf0f5ac486779e8ce778e60c9bb)
+++ generic/xotclInt.h	(.../xotclInt.h)	(revision f93a860bacabe371e1f01bd3f3841015c6b14a21)
@@ -664,8 +664,8 @@
   int doFilters;
   int doSoftrecreate;
   int doKeepinitcmd;
-  int doCheckresult;
-  int doCheckparameter;
+  int doCheckResults;
+  int doCheckArguments;
   int exitHandlerDestroyRound;
   int returnCode;
   int overloadedMethods;