small debugging changes