minor changes in filter.rs