Some very small fixes to the documentation