should have used the old ReplacementContext instead of making a fresh
one
Merge pull request #123 from regehr/check-fix

should have used the old ReplacementContext instead of making a fresh one