Get rid of some debug code