Fix a couple of typos

Hey, I haven't found any tactics with the word "dependant" in them in the [index][0], so I assumed those are typos.

  [0] http://coq.inria.fr/refman/tactic-index.html