implem for makeEmpty