more stuff from armci-mpi
minor fix - not sure if the right choice of the two