diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index 7c8a55222..e31118e76 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -5257,7 +5257,7 @@ int get_number_terminals(char *c)
             break;
         }
         case 'p': /* Recognition of up to 100 cpl nodes */
-            for (i = j = 0; (i < 100) && (*c != '\0'); i = i + 2) {
+            for (i = j = 0; (i < 100) && (*c != '\0'); ++i) {
                 inst = gettok_instance(&c);
                 if (strchr(inst, '='))
                     j++;