miguelm
committed
on 16 Nov 05
fixing is_observer_filter