Re: [petsc-dev] misleading error message in VecWAXPY