Re: [Mpi3-tools] Another trivial MPI-3 update