One more silly fix that local testing failed to catch: filter is a Some