Fix to Coverity error 75425