In fact, there were 2 bugs - one as in #455,
and the other specific to this report.
So this bug was wrongly reported as fixed
in 5.0.1. This patch, hopefully, does
cure the (remaining) problem.

---------------------------------------
 20 Sep 98 
 Sumbitted by Evgeny Stambulchik <fnevgeny@plasma-gate.weizmann.ac.il> 
---------------------------------------
