fix erroneous documentation