Minor bugfix in array element size.