Fix debugging code.