Trivial changes to the documentation.