Workaround Coverity CID 169392