fix scarily incorrect debug output