Smoothing for a finite state Markov process