Fix a minor issue with ArrayOf