Bug fix: JXG.indexOf()
Undo the previous commit