this is likely a typo introduced by open-mpi/ompi@5f1254d710 @hjelmn could you please double check this ?