Fixed glitch with option print_node_numbers