Fix CID 83233 in Coverity