fixed doc examples to pass cargo test