Coverity fix