put in some debugging code