Updated documentation.

The changes are purely to make the documentation compilable, not to make
it correct!