Fix bug in AsArray spec