A bug in propagator framework