fix example; fix IntArray EnableIf