There is _no_ /debian-non-US dir at non-us.debian.org, so it's not screen line shortening. I reopened the bug. -- Cesar Eduardo Barros cesarb@web4u.com.br cesarb@dcc.ufrj.br