more minor debugging