- Fix bug on launching RuleMiner.