Format and error fix

Fixed `mining.rb` error (happened with mining and prospecting)
Changed `HelpCommandListener` formatting