Coverity CID #1233595