doc for Debian + leak fix