Coverity submission broken?