Bugfix: do return correct values in getFilterOptions().