Fixed 'filter' benchmark: former example was too trivial