oops, accidentally deleted some bst operations