Some minor fixes in computing PosteriorTransition