Minor fixes in documentation.