Coverity bug fix