cleanup some debugging code