Fix to Coverity defect 76134