Small corrections to Debian GNU/Linux installation.