tweaking debug output