Removed annoying Coverity Scan notifications