Coverity fixes (Jens)

No match.