arjun
committed
on 14 Aug 02
minor doc update