Ignore last Coverity warning