small fixes in documentation