just checking: we haven't fixed arrays yet, right?