no need for vprintln here, since send_ipython already prints message in verbose mode