Fixed a slight bug in the array_v specification (length should always be a natural number)