deleted some debugging code