Made the commands list pretty, and changed TrivRev access