Corrected leave filter impl