Small fixes in documentation.