Fix in the documentation.