Removing some debugging code