Less debugging output; pesky segfault on shutdown averted