Cleaned some debugging code