Hello Steve,
>> Here is the hopefully right version, which passes tests here.>> This version seems fine.>> I think it is ready for a committer
Ok, thanks for the debug!
-- Fabien.