remove some debugging code