Coverity fix?