Fix problems with array_indexing