Forgot to do the corresponding change in SVG output.  Issue #891.