a few tweaks to the filtered_iterator