Slight improvements in documentation.