If there's no def_filter, this code won't be reached.