Minor improvement in documentation.