Small modification to documentation.