Try to fix a coverity false positive