added auxiliary functions, updated print_help() function