fix for highlighting not working in IPython 2.x