Fix up partial_domain_diagram.png