Fix incorrect debug output function