Fixed a bug in MichaelList<RCU>::extract function