Minor fix to deflation vectors in subdomain_deflation example