Minor fix to debug