We don't need this debugging code anymore