delete some debugging code