Fix array typing problem