small issues in MPI correctness