Fixes a bug in OrderedArrayAttribute
Some changes needed by postfix plugin