Small fixes to the documentation.