Makes coverity happy