Minor improvement in Debian Hurd