proper toStrings of filters