--- SvgExporterPG.js~	2011-08-19 15:58:00.000000000 +0200
+++ SvgExporterPG.js	2011-08-27 09:47:32.979516218 +0200
@@ -186,15 +186,15 @@
 
     var pos = this.convert(point.getPosition());
 
-    // export as circles
+    // export as circles, do not double convert Position
     if (this.pointsAsCircles) {
-        var circle = new RCircle(pos, this.circleRadius);
+        var circle = new RCircle(point.getPosition(), this.convert(this.circleRadius));
         this.exportCircle(circle);
         return;
     }
     
     // export as crosses
-    var s = this.crossSize / 2;
+    var s = this.convert(this.crossSize / 2);
     var p0 = pos.operator_add(new RVector(-s, 0));
     var p1 = pos.operator_add(new RVector(s, 0));
     var p2 = pos.operator_add(new RVector(0, -s));