Fix JSXGraph version information