logging tweaks for diagnosing issues; enable DEBUG_DETAILS to see them.