Coverity CID #1222259