Bugfix for wrong array size