removing some debugging code