Fix trivial errors in documentation.