fix missing argument in print_help_entries