small fixes in docs/examples