Why do we get these extra lines for ArrayUpdate and not in other places?