DOC observe that best-first == posterior decoding
typo