add some debugging code