vinodk
committed
on 09 Jul 01
minor bugfixes