small fixes in doc