Little fixes in documentation.