Tag: fix pool filter leak