WOCompountElement: the array of children was not properly allocated, leading to a buffer overflow