Bug fix in HMMRecognizer