trie: tweaks.