fix erroneous doc