Update man_hmm.txt