Coverity CID #1261369