A minor adjustment to trie.tap