minor debugging