small fixes to doc