Little improvements in documentation.