as reported by Coverity with CID 1270441 (previous commit open-mpi/ompi@c25185f3a9 did not fully fix that one)