Fix CID 12017