Many small fixes to the docs