Fix an incorrect documentation reference