small fixes in docs