Suppress a coverity warning