fix debug printing, eval_def test broken