the `showFilter` stuff can be removed, right? (same below)