print_help(): updated