two minor tactic bugs

Stream: general

[Floris van Doorn]

I opened two minor tactic bug reports for apply' (#14993) and nth_rewrite (#14994).
I don't particularly care if they get fixed, but I wanted to at least document the failure.