Bug fix where two <operator/> elements were added to <mcmc/>