fixed bug in SRTrie