Removed accidentally-included debug code.