minor cleanup in kDebugWrite