Bug fix in bst.cc