Workaround Coverity CID 113061