fix some examples in docs