A few fixes to the documentation.