A bug in the implementation of the RemoveAt() method of the Array class