reinstating exporting to SVG, also a bug fix