Made a small correction to documentation.