Fix to Coverity issue 72733