minor debugging changes