Debian doc update