Merge remote-tracking branch 'origin/coverity_scan'
Using correct form of delete.