trie: minor tweaks.