1 files changed, 3 insertions, 0 deletions
diff --git a/utils/print_rpki_manifest/print_rpki_manifest.c b/utils/print_rpki_manifest/print_rpki_manifest.c
index 508850a3..ef0e67d2 100644
--- a/utils/print_rpki_manifest/print_rpki_manifest.c
+++ b/utils/print_rpki_manifest/print_rpki_manifest.c
@@ -189,6 +189,9 @@ int main (int argc, char *argv[])
     }
   }
 
+  argc -= optind;
+  argv += optind;
+
   while (argc-- > 0)
     result |=  read_manifest(*argv++, print_cms, 1, 1) == NULL;
   return result;