Small fixes to documentation.