Minor changes in trie.tap