Some minor changes in code and documentation.