Slight changes to the documentation.

[branch: development]