Fix debugging code