Minor fix for debugging messages