Fix to SVG output (actually undoes bug introduced in fd7aebc3d2 )