#6492: Remove debugging code.