Valery Pipin <pip@iszf.irk.ru> writes:
...
>> Did it used to appear automatically?
> It was usually so. It is so in 5.9.1 at least.
It's fixed in CVS.
>> I don't remember changing that, but I'll fix it when I get to my
>> office tomorrow.
>>
> Thank you very much! Here it is already 'tomorrow' afternoon.
Ooh! Then I'm late!
Jay