coverity defect (minor)