[Faucet-dev] Documentation errors