Some fixes to the array implementation