make coverity happy