Is this debugging code?