Minor correction to default serializer for int[]