More small fixes to documentation.