Fix the Hilbert debugging code.