Propagator: Don't pass arbitrary strings as formating string

Not a security issue since this code was never in any release.