Deleting some debugging code