Remove some paranoid debug code