Tons of small fixes to documentation.