Small bug fix in PTMCMC.