Removed some debugging code for bug #7431.