Get coverity to do its job.