Fix do_print