3f081e0750
This fixes a typo introduced in open-mpi/ompi@e0e924c4ed Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>