Coverity fixes (Jens)