Re: [Faucet-dev] Documentation errors