Small fixes in documentation.

No match.