visitor done (let's debug!)