removed some (expensive) debug output