Fix to documentation.