diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index 342675754..73a53a666 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -3443,6 +3443,8 @@ get_number_terminals(char *c)
             if (only_digits && (strchr(name[k-1], ',') == NULL))
                 area_found = TRUE;
         }
+        for (k = i; k >= 0; k--)
+            tfree(name[k]);
         if (area_found) {
             return i-j-2;
         } else {