minor debug

Small error in a tactic