removed some debugging statements. Sorry.