github jsxgraph issue #227