sign change for AddDownPropagator was not propagated through to g_mu

this is a trivial bug fix. I hope no one used AddDownPropagator with the new code version yet extensively!