further progress in debugging