more additions to svg.pxd