Additional fix for bug #71737: DELETE_ARRAY reported by Coverity