Debian doc updated