Remove some debugging code