fixed Tactic Notation