Slight corrections and notation updates in the HMM section.