I've often seen unicode characters being displayed incorrectly.
Refreshing the page would fix it but it doesn't feel sexy.
One way to fix it is to convert the file filterupdate.js from UTF-8 BOM-less to UTF-8.
Another way is to convert those characters.
It would be neat to have this fixed.