small fixes to the documentation