Hopefully now correct coverity info