Use Matcher.quoteReplacement here!

Fixes #1676 - for real this time