Fix more typos in the documentation
Debian is not necessary a Linux. It can also be a Freebsd or HURD based