Give a better error message on a tactic