Hopefully better fix for issue #1195 using a filter to get the proper HTML chars