Minor output tweaks. Use SVG images.