Coverity CID #1258575