I remember now. I thought it was modified in 13_5 itself.

Anyway, it has been fixed now. This is ready to go, I'm working on the ipython one in a different branch.