small fixes in documentations