Fix bewildering copy-paste errors with IPython setup