In message < or4sskab4c.fsf@araguaia.dcc.unicamp.br >you write: > Thanks for your report. Jeff, ok to install? (Must I really ask for > permission to install patches like this? :-) It's fine. Fixing trivial stuff like this is OK without approval. Of course, the trick is for everyone to agree on what the "trivial" stuff is :-) jeff