added in debugging code