fixups to documentation and debian testing