Re: [mpi-21] Correction to One-sided communications, Section 6.7: Semantics and Correctness