Rename filter options, fixes #31