Really something strange with MagmaCollection

[Hilaire Fernandes]

I am using last stable Magma version 1.0r39, and the following code 
produce an empty MagmaCollection

MagmaCollection new add: 'toto'; add: 'tata';yourself

Hilaire