cosmetics and bug fix for HMM gui