Exported the corrected diagrams to SVG. Fixes #95.