Fix in documentation.