A minor correction in documentation.