Re: can't add an index to a MagmaCollection which already has some elements