Facet navigation tag cannot remove facets with $ in the name

Looks like a bug in org.hippoecm.hst.tag.HstFacetNavigationLinkTag.doEndTag().

It tries to remove e.g. "Price/$700 - $799" from the path as follows:

if(path.contains(removeFacetValue)) {
path = path.replaceAll(removeFacetValue+"(/|
z)", "");

but while path.contains returns true, path.replaceAll has no effect in this case. Maybe because the first considers removeFacetValue a String, the second regards it a regular expression. The dollar sign is a special character in a regular expression (it indicates end of string).
The string should be put through Pattern.quote [1]

[1] http://docs.oracle.com/javase/7/docs/api/java/util/regex/Pattern.html#quote(java.lang.String)