cosmetic fix in print_help() function