deleting some debugging code