is this debugging code?