small fixes to documentation