Removed some debugging code from bug #7770.