Fix coverity badge