small fixes in the documentation