added missing dot_print_debug function