Coverity CID #1248165