Minor bugfix in domain_vertices