Fix a mistaken commit that included some debugging code.