Fixing interpretation of tactics in terms. It was forgetting part of the
environment.
Fix typo in comment.