c++ trie; formatting fixes