Minor stylistic improvements in MCMC