Some comments in mpi/deflation.hpp