coreos-web/filter: made the filter operation more efficient