removed some debugging output