An output filtering extension for tail