fix Function tactic documentation