fixup! Added Filter fold function