Minor fix: debug option