Remove some leftover debug code