arjun
committed
on 10 May 02
bug fixes to remove_element