Further changes to the documentation.