* Fixed serious bug in MichaelSet::emplace() function