bugfix: size of array