DBG: removed printf