Fixes #18: adding a filtering widget