follow-up fix for cid #11341