fix propagator overloading