IPython doc fix