Fixing tiny bug in search filtering