had some debug output, now removed