bug fix -- left out a pair of parens.
initial propagators, plus a bug fix