Re: [mpiwg-tools] [Mpi-forum] Ticket #383: MPI_T Errata