Remove Numina debug code, fix bug