Fix to the documentation.