Fix to Coverity issue 84943