Fix in documentation