Fixed outdated import in misc/ipython.py