replaced two occurences of array_push(...) by ...[] = ...