Cosmetics for print_stacktrace()