Tests and fix for Vector.filter