Fixing printing of unreachable local tactics.