Corrected the Coverity configuration.