Bug fix in a sanity check in PrefixTree.h