Minor improvements in documentation.