Bug fix in src/markov.cc