Fixing weird formatting in filter documentation