Update coverity instructions