Fix for bug #71737 DELETE_ARRAY reported by Coverity