Modifications for MPI-dev docs