forgot some debugging code