extra debugging code