array cast is much nicer