Added information about coverity