Bug fix: typo in Board.getCoordsTopLeftCorner, which forced JSXGraph to access the DOM during DRAG mode.