fix another print_ call